OntoUML Editor A model-based graphical editor
Download

OntoUML Editor Ranking & Summary

OntoUML Editor Tags

editor ontology graphical editor ontology editor domain ontology creaate

OntoUML Editor Description

A model-based graphical editor OntoUML Editor supports the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling language, named OntoUML. OntoUML is based on the Unified Foundational Ontology (UFO). The OntoUML editor was designed to underline this language. On the other hand, OntoUML reinforces these principles in the produced models by providing a mechanism for automatic formal constraint verification, hence ensuring that the created models will be syntactically correct.Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information systems. For this reason, the editor is also capable of automatic generation of model instances by transforming these models into specifications in the logic-based language Alloy. As the generated Alloy specifications include the modal axioms of the foundational ontology underlying OntoUML, named UFO, then the automatically generated instances will present modal behaviour while being dynamically classified, thereby supporting the validation of the modal meta-properties of the OntoUML types. What's New in This Release: Enhancements: · Issue 9: Inseparable, Essential and Read-only properties. · Issue 16: When the user set the meta-attribute isExtensional to true in a ??collective??, then all of its meronymic relationship should have its meta-attributes isEssential automatically set to true. · Issue 17: When the user set the meta-attribute isEssential to true in a ??memberOf?? relationship, then the ??collective?? representing the whole should have its meta-attribute isExtensional automatically set to true. · Issue 18: When the user creates a ??datatypeRelationship?? that have a ??structuredDatatype?? in its source association end, then the target association end should have its meta-attribute isReadOnly set to true. · Issue 19: When the user sets the meta-attribute isEssential to true in a meronymic relationship (viz. ??componentOf??, ??memberOf??, ??subCollectionOf?? and ??subQuantityOf??), then the meta-attribute isImmutablePart should be automatically set to true and, in the target association end, the met...

OntoUML Editor Related Software