Abstract
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. © Springer-Verlag Berlin Heidelberg 2002.
Cite
CITATION STYLE
Baclawski, K., Kokar, M. M., Waldinger, R., & Kogut, P. A. (2002). Consistency checking of Semantic Web ontologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2342 LNCS, pp. 454–459). Springer Verlag. https://doi.org/10.1007/3-540-48005-6_40
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
