Inconsistencies, negations and changes in ontologies

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

*Corresponding author for this work

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

88 Citations (Scopus)

Abstract

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 real-world 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 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06
Pages1295-1300
Number of pages6
Volume2
Publication statusPublished - 13 Nov 2006
Event21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06 - Boston, MA, United States
Duration: 16 Jul 200620 Jul 2006

Conference

Conference21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06
CountryUnited States
CityBoston, MA
Period16/07/0620/07/06

Keywords

  • Inconsistency
  • Negation
  • Ontology change
  • Semantic Web

Fingerprint Dive into the research topics of 'Inconsistencies, negations and changes in ontologies'. Together they form a unique fingerprint.

Cite this