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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997.
Chimara. Website. www.ksl.Stanford.edu/software/chimaera.
DAML. DARPA Agent Markup Language Web Site, 2001. www.daml.org.
G. Frank. Hybrid reasoning architecture general purpose first-order logic theorem prover suite of special-purpose reasoners. www.ksl.stanford.edu/software/JTP.
M. Genesereth. Knowledge Interchange Format draft proposed American National Standard (dpANS) NCITS.T2/98-004, 1998. Available at logic.stanford.edu/-kif/dpans.html.
I. Horrocks. FaCT: Fast Classification of Terminologies Web Site, www.cs.man.ac.uk/~horrocks/FaCT.
Jess. Java expert system shell. herzberg.ca.sandia.gov/jess.
M. Kokar, J. Letkowski, K. Baclawski, and J. Smith. The ConsVISor consistency checking tool, March 2001. Available at vis.home.mindspring.com/-consvisor.html.
D. McGuinness, R. Fikes, J. Rice, and S. Wilder. An environment for merging and testing large ontologies. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, April 12–15 2000.
OilEd. Ontology editor for DAML+OIL. oiled.man.ac.uk.
RDF. Resource description framework (RDF) model and syntax specification, Feburary 1999. www.w3.org/TR/REC-rdf-syntax.
SNARK. SRI’s new automated reasoning kit. www.ai.sri.com/~stickel/-snark.html.
M. E. Stickel, R. J. Waldinger, and V. K. Chaudhri. A Guide to SNARK. www.ai.sri.com/snark/tutorial/tutorial.html.
UML Based Ontology Toolset. Web Site, 2001. ubot.lockheedmartin.com.
F. Harmelen van, P. Patel-Schneider, I. Horrocks, D. Connolly, L. Stein, and D. McGuinness, editors. Annotated DAML+OIL Ontology Markup. DARPA Agent Markup Language, March 2001. www.daml.org/2001/03/daml+oil-walkthru.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baclawski, K., Kokar, M.M., Waldinger, R., Kogut, P.A. (2002). Consistency Checking of Semantic Web Ontologies. In: Horrocks, I., Hendler, J. (eds) The Semantic Web — ISWC 2002. ISWC 2002. Lecture Notes in Computer Science, vol 2342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48005-6_40
Download citation
DOI: https://doi.org/10.1007/3-540-48005-6_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43760-4
Online ISBN: 978-3-540-48005-1
eBook Packages: Springer Book Archive