Using semantic dependencies for consistency management of an ontology of brain-cortex anatomy
Artificial Intelligence in Medicine
Algebra model and experiment for semantic link network
International Journal of High Performance Computing and Networking
Consistent query answering over description logic ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Term consistency checking of ontology model based on description logics
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
An application of semantic web technologies to situation awareness
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Extended ontology model and ontology checking based on description logics
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Identifying conceptual layers in the ontology development process
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Inferring and validating skills and competencies over time
Applied Ontology
| Hi-index | 0.00 |
Ensuring that ontologies are consistent is an important part of ontology development and testing. This is especially important when autonomous software agents are to use ontologies in their reasoning. Reasoning with inconsistent ontologies may lead to erroneous conclusions. In this paper we introduce the ConsVISor tool for consistency checking of ontologies. This tool is a consistency checker for formal ontologies, including both traditional data modeling languages and the more recent ontology languages. ConsVISor checks consistency by verifying axioms. ConsVISor is part of the UBOT toolkit that uses a variety of techniques such as theorem proving and logic programming. Some examples of the use of these tools are given.