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. |
Year | Venue | Keywords |
---|---|---|
2002 | International Semantic Web Conference | consistency checking,ontology development,recent ontology language,inconsistent ontology,semantic web ontologies,formal ontology,consvisor tool,consistency checker,consvisor checks consistency,important part,ubot toolkit,theorem proving,semantic web,data model |
Field | DocType | Volume |
Ontology (information science),Data mining,Process ontology,Computer science,Semantic Web,IDEF5,Formal ontology,Ontology components,Database,Ontology language,Web Ontology Language | Conference | 2342 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-43760-6 | 20 |
PageRank | References | Authors |
1.86 | 2 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kenneth Baclawski | 1 | 584 | 74.71 |
Mieczyslaw M. Kokar | 2 | 498 | 148.01 |
Richard J. Waldinger | 3 | 573 | 693.15 |
Paul A. Kogut | 4 | 187 | 18.37 |