OntoUML Suite
type: Ontology
creation date: 2026-01-26T11:48:24+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

OntoUML Suite
type: Subject
type: Category:OntologySummit2013 Survey
page: https://ontologforum.com/index.php/OntoUML_Suite
wiki namespace: 0
wiki page content language: en
accept validation test sets or inputs: false
accept validation test sets or inputs comments: In one sense, since the tool does automatic detection of modeling anti-patterns
apply a style of ontological analysis to design: true
assess accuracy, correctness, and completeness of ontology terminological content: false
assess accuracy, correctness, and completeness of ontology terminological content comments: 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.
assess and enforce consistency and completeness of inverse relations: false
assess and enforce consistency and completeness of inverse relations comments: not applicable
assess and enforce consistency and completeness of range and domain constraints: false
assess and enforce consistency and completeness of range and domain constraints comments: 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.
assess complexity of concept definitions (necessary and sufficient properties) and use of axioms: true
assess complexity of concept definitions (necessary and sufficient properties) and use of axioms comments: 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.
assess correctness or performance of an ontology design: true
assess inferencing completeness performance: false
assess inferencing completeness performance comments: Optional remarks
assess inferencing time performance: false
assess inferencing time performance comments: Optional remarks
assess or characterize breadth of domain coverage of an ontology: true
assess or characterize breadth of domain coverage of an ontology comments: Idem previous question
assess or characterize depth or detail of domain coverage of an ontology: true
assess or characterize depth or detail of domain coverage of an ontology comments: Idem previous question
assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security: false
assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security comments: Optional remarks
assess or track user experience with ontology: false
assess or track user experience with ontology comments: Optional remarks
assess query precision and recall performance: true
assess query precision and recall performance comments: see previous response
assess query time performance: false
assess query time performance comments: Optional remarks
assess the inferencing power of an ontology: true
assess the inferencing power of an ontology comments: 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.
assess the reusability of a planned ontology: false
assess the reusability of a planned ontology comments: Optional remarks
assure mathematically complete computability of ontology: false
assure mathematically complete computability of ontology comments: Optional remarks
assure semantically adequate computability of ontology: true
assure semantically adequate computability of ontology comments: 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.
author: Ontology and Conceptual Modeling Research Group (NEMO
capture ontology errors during use: false
capture ontology errors during use comments: not sure what exactly is mean by the question
choose RDF support: true
choose RDF support comments: see previous response
choose extant core ontologies for reuse: false
choose extant core ontologies for reuse comments: Optional remarks
choose extant top ontology for reuse: true
choose formal logic language: true
choose formal logic language comments: see previous response
choose metaphysical methodology: true
choose ontology language: true
compare and map between ontologies: false
compare and map between ontologies comments: Optional remarks
compare domain coverage across ontologies: true
compare domain coverage across ontologies comments: Idem previous question
create mappings from ontologies to and from data and data sources: false
create mappings from ontologies to and from data and data sources comments: Optional remarks
detect and guide use of multiple inheritance: true
detect and guide use of multiple inheritance comments: This is guaranteed to be corrected by design in the language.
detect violations of domain, referential, or semantic integrity: true
distinguish between conceptual and operational ontologies and objectives: true
download page: http://nemo.inf.ufes.br/en/ontoumlsupport
enable adjustable query and inference performance: false
enable adjustable query and inference performance comments: Optional remarks
enable user to modify or extend ontology to address deficiencies: true
enable user to modify or extend ontology to address deficiencies comments: Optional remarks
enforce proper use and coding of UR is: false
enforce proper use and coding of UR is comments: Optional remarks
enforce proper use of conjunctions versus disjunctions: false
enforce proper use of conjunctions versus disjunctions comments: Optional remarks
ensure kind-of nature and consistency of subclassing: true
ensure kind-of nature and consistency of subclassing comments: Optional remarks
ensure proper separation and coding of concepts and facts: true
ensure proper separation and coding of concepts and facts comments: OntoUML is a schema-level language. Facts are automatically generated for the purpose of validation via visual simulation.
ensure proper use and coding of RDF and web resources: false
ensure proper use and coding of RDF and web resources comments: not sure what is exactly meant by the question
ensure proper use and coding of data types: true