WIKINDX Resources
|
Proceedings Article:
|
ID no. (ISBN etc.): 3-540-43760-6
|
BibTeX citation key: Baclawski2002
|
|
Baclawski, K., Kokar, M. M., Waldinger, R. J., & Kogut, P. A. (2002, June 9—12). Consistency checking of semantic web ontologies. Paper presented at 1st International Semantic Web Conference, Sardinia, Italy.
Added by: Julie Bourbeillon 2009-07-29 09:04:55 Last edited by: Julie Bourbeillon 2009-07-29 09:09:25
|
|
|
Categories: General
Keywords: Formal Verification, Internet, Ontology, Semantics, Software Agents, Soundness, World Wide Web
Creators: Baclawski, Hendler, Horrocks, Kogut, Kokar, Waldinger
Publisher: (Sardinia, Italy)
Collection: 1st International Semantic Web Conference
|
Number of views: 28
Popularity index: 56%
|
|
|
|
|
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.
Added by: Julie Bourbeillon
|
|
Further information may be found at:
|
Digital Object Identifier (DOI):
|
|
|
|
|
|
|
|
|
|
|