Document Type

Conference Proceeding

Publication Date

6-2-2008

Abstract

In the context of multiple distributed ontologies, we are often confronted with the problem of dealing with inconsistency. In this paper, we propose an approach for reasoning with inconsistent distributed ontologies based on concept forgetting. We firstly define concept forgetting in description logics. We then adapt the notions of recoveries and preferred recoveries in propositional logic to description logics. Two consequence relations are then defined based on the preferred recoveries.

Comments

Presented at the Workshop on Ontologies: Reasoning and Modularity, held at the 5th European Semantic Web Conference, Tenerife, Spain, June 2, 2008.