Consistency Checking of Semantic Web Ontologies

  title={Consistency Checking of Semantic Web Ontologies},
  author={Kenneth Baclawski and Mieczyslaw M. Kokar and Richard J. Waldinger and Paul A. Kogut},
  booktitle={International Semantic Web Conference},
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… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 31 extracted citations

FTTO: An example of Food Ontology for traceability purpose

2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS) • 2013

Integrating Constraint Programming into Answer Set Programming

Oleksandr Stashuk, MASTER’S THESIS, +3 authors Christoph Redl
View 1 Excerpt

Knowledge-Based Verification of Service Compositions -- An SMT Approach

2013 18th International Conference on Engineering of Complex Computer Systems • 2013
View 1 Excerpt

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-6 of 6 references

Knowledge Interchange Format

View 6 Excerpts
Highly Influenced


UML Based Ontolog
Web Site, • 2001
View 1 Excerpt

and J

M. Kokar, J. Letkowski, K. Baclawski
Smith. The ConsVISor consistency checking tool, March • 2001
View 1 Excerpt

van, P

F. Harmele
Patel-Schneider, I. Horrocks, D. Connolly, L. Stein, and D. McGuinness, editors. Annotated DAML+OIL Ontology Markup. DARPA Agent Markup Language, March • 2001
View 1 Excerpt

and I

G. Booch, J. Rumbaugh
Jacobsen. UML Notation Guide, Version 1.1, September • 1997
View 3 Excerpts

Similar Papers

Loading similar papers…