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 maxi-adjustment (RCMA) which refines disjunctive maxi-adjusment (DMA), known to be a good strategy for inconsistency handling in classical logic.