In one sense, since the tool does automatic detection of modeling anti-patterns
The tool automatically checks for logical consistency and allows for finite satisfiability checking. Moreover, the tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones.
The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones.
Ontology and Conceptual Modeling Research Group (NEMO
not sure what exactly is mean by the question
This is guaranteed to be corrected by design in the language.
OntoUML is a schema-level language. Facts are automatically generated for the purpose of validation via visual simulation.
not sure what is exactly meant by the question
OntoUML has a extensive theory of Datatypes based on Gardenfors' theory of Conceptual Structures and Semantic Reference Spaces
In particular, the language embedds a theory of relations distinguising formal and material relations and guiding the use of different relations between relations (association subsetting, association redefinition and association subtyping).
In particular, for part-whole relations, the language contains a number of visual patterns for isolating the scope of transitivity of part-whole relations
This is one of the main features of ontology validation via visual simulation of instances across possible worlds.
not sure what exactly is meant by the question
This is achieved by the higher-granularity building blocks of the language which are ontological design patterns that reflect the microtheories of the underlying foundational ontology.
For instance, it allows for proactive detection and rectification of modeling anti-patterns
Federal University of Espírito Santo (UFES)
OntoUML is a pattern language. The language is structured in higher-granularity modeling primitives which are ontological design patterns. These design patterns reflect ontological microtheories from the underlying foundational ontology.
The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones. In this manner, the tool allows for the detection of both over- and underconstraining.
It does check if the integration of two ontologies creates and logically consistent (via OCL constraint checking) and finetely satisfiable model (via mapping to Alloy)