A Framework for Handling Inconsistency in Changing Ontologies

Abstract

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.

ORE - A Tool for Repairing and Enriching Knowledge Bases

“…In [28] and [8], methods for the detection and repair of inconsistencies in frequently changing ontologies were developed. [29] discusses a method for axiom pinpointing, i.e.…”

Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies

“…There are several studies dealing with inconsistency handling in OWL ontologies, among others [6] and [7]. The general algorithm for the task of repairing inconsistent ontologies consists of two steps:…”

“…As defined in [6], an ontology O is a minimal inconsistent subontology of an ontology O, if O ⊆ O and O is inconsistent and for all O such that O ⊂ O ⊆ O, O is consistent. OWL reasoner Pellet [7] is able to return the MISO for the first encountered inconsistency in the ontology.…”

Reasoning with Multi-version Ontologies: A Temporal Logic Approach

“…Our goal is to provide ontology managers and users with a tool that helps to detect effects of changes in ontologies and select versions based on their propoerties. Another more ambitious goal for the future is to also provide support for predicting such effects before the ontology has actually been changed [7]. In this section, we introduce the general idea of providing tool support for this purpose and identify relevant use cases for the technology.…”