A framework for handling inconsistency in changing ontologies

  • Authors:

  • Peter Haase;Frank van Harmelen;Zhisheng Huang;Heiner Stuckenschmidt;York Sure

  • Affiliations:

  • Institute AIFB, University of Karlsruhe, Germany;Department of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands;Department of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands;Department of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands;Institute AIFB, University of Karlsruhe, Germany

  • Venue:
  • ISWC'05 Proceedings of the 4th international conference on The Semantic Web
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.