Inconsistencies, Negations and Changes in Ontologies

Giorgos Flouris, Zhisheng Huang, Jeff Z Pan, Dimitris Plexousakis, Holger Wache

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundamental role. The ability to deal with inconsistency and to accommodate change is of utmost importance in realworld applications of ontological reasoning and management, wherein the need for expressing negated assertions also arises naturally. For this purpose, precise, formal definitions of the the different types of inconsistency and negation in ontologies are required. Unfortunately, ontology languages based on Description Logics (DLs) do not provide enough expressive power to represent axiom negations. Furthermore, there is no single, well-accepted notion of inconsistency and negation in the Semantic Web community, due to the lack of a common and solid foundational framework. In this paper, we propose a general framework accounting for inconsistency, negation and change in ontologies. Different levels of negation and inconsistency in DL-based ontologies are distinguished. We demonstrate how this framework can provide a foundation for reasoning with and management of dynamic ontologies.
Original languageEnglish
Title of host publicationProceedings of the Twenty-First National Conference on Artificial Intelligence
EditorsAnthony Cohn
PublisherAAAI Press
Number of pages6
ISBN (Electronic)978-1-57735-297-6
ISBN (Print)978-1-57735-281-5
Publication statusPublished - 16 Jul 2006
EventThe Twenty-First National Conference on Artificial Intelligence - Boston, United States
Duration: 16 Jul 200620 Jul 2006
Conference number: 21


ConferenceThe Twenty-First National Conference on Artificial Intelligence
Abbreviated titleAAAI 2006
Country/TerritoryUnited States
Internet address


Dive into the research topics of 'Inconsistencies, Negations and Changes in Ontologies'. Together they form a unique fingerprint.

Cite this