A Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies

TitleA Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies
Publication TypeConference Paper
Year of Publication2008
AuthorsGuilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler
Publisher5th European Semantic Web Conference, ESWC08
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.

Full Text

Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler, 'A Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies,' Proceedings of the International Workshop WORM-08, Ontologies: Reasoning and Modularity, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008.
year: 2008
venue name: 5th European Semantic Web Conference, ESWC08
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/worm2008...