Sciweavers

AIR
2006

A revision-based approach to handling inconsistency in description logics

13 years 3 months ago
A revision-based approach to handling inconsistency in description logics
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existing techniques for inconsistency management. In this paper, we first define two revision operators in description logics; one is called a weakening-based revision operator and the other is its refinement. Based on the revision operators, we then propose an algorithm to handle inconsistency in a stratified description logic knowledge base. We show that when the weakening-based revision operator is chosen, the resulting knowledge base of our algorithm is semantically equivalent to the knowledge base obtained by applying refined conjunctive maxiadjustment (RCMA) which refines disjunctive maxi-adjusment (DMA), known to be a good strategy for inconsistency handling in classical logic.
Guilin Qi, Weiru Liu, David A. Bell
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AIR
Authors Guilin Qi, Weiru Liu, David A. Bell
Comments (0)