]> 2026-07-26T08:06:32+00:00 OntoUML Suite 0 en false In one sense, since the tool does automatic detection of modeling anti-patterns true false 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. false not applicable false 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. true 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. true false Optional remarks false Optional remarks true Idem previous question true Idem previous question false Optional remarks false Optional remarks true see previous response false Optional remarks true 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. false Optional remarks false Optional remarks true 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. Ontology and Conceptual Modeling Research Group (NEMO false not sure what exactly is mean by the question true see previous response false Optional remarks true true see previous response true true false Optional remarks true Idem previous question gguizzardi@inf.ufes.br false Optional remarks true This is guaranteed to be corrected by design in the language. true true false Optional remarks true Optional remarks false Optional remarks false Optional remarks true Optional remarks true OntoUML is a schema-level language. Facts are automatically generated for the purpose of validation via visual simulation. false not sure what is exactly meant by the question true OntoUML has a extensive theory of Datatypes based on Gardenfors' theory of Conceptual Structures and Semantic Reference Spaces true 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). true In particular, for part-whole relations, the language contains a number of visual patterns for isolating the scope of transitivity of part-whole relations true false Optional remarks true true 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. OntoUML Supporting Tools false Optional remarks true true see previous response true true This is one of the main features of ontology validation via visual simulation of instances across possible worlds. true false not sure what exactly is meant by the question true 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. false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks true true false true true For instance, it allows for proactive detection and rectification of modeling anti-patterns false false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks Federal University of Espírito Santo (UFES) true true Optional remarks true GNU GPL v3 true true see previous response false Optional remarks false Optional remarks false idem to previous response true 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. true false Optional remarks false Optional remarks false Optional remarks false see previous response true Optional remarks false not sure what exactly is mean by the question true false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks true 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. true 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) 2016-01-09T07:45:48Z 2457396.8234722 OntoUML Suite