Publication Details

Consistency checking of semantic web ontologies

by Baclawski, K.,Kokar, M., Waldinger, R. and Kogut, P.

in International Semantic Web Conference ISWC02 proceedings, vol. LNCS 2342, pp. 454-459,

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.

Electronic Copies

Adobe PDF

BibTeX

EndNote

Associated Projects

Knowledge Creation Tools for DAML This project is building ontologies and tools in support of the Semantic Web, as part of the DARPA Agent Markup Language program.

AIC Personnel

	Name	Title	E-mail
	Waldinger, Richard J	Principal Scientist