A framework for handling inconsistency in changing ontologies

Authors: 
Haase, P; van Harmelen, F; Huang, Z; Stuckenschmidt, H; Sure, Y
Author: 
Haase, P
van Harmelen, F
Huang, Z
Stuckenschmidt, H
Sure, Y
Year: 
2005
Venue: 
Proc. 4th Int. Semantic Web Conf. (ISWC), LNCS 3729
URL: 
http://www-kasm.nii.ac.jp/~i2k/tmp/iswc2005/papers/3729/37290353.pdf
Citations: 
196
Citations range: 
100 - 499
AttachmentSize
Haase2005Aframeworkforhandling.pdf236.89 KB

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.