Click a term to initiate a search.
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.