Four-valued Description Logic for Paraconsistent Reasoning

Inconsistencies always exist in an open, constantly changing and collaborative environment. paraconsistent reasoning can handle inconsistent information without resolving the inconsistencies. it is an effective way to deal with inconsistencies in the absence of information on how to resolve them. in this paper, a four-valued description logic for paraconsistent reasoning is presented. the four-valued semantics isolates inconsistencies enabling the derivation of conclusions from the consistent information. moreover, two preferences, to derive useful conclusions from the inconsistent information, are proposed. one preference is based on an adaptation of the semantics of the subsumption relation, and the other preference implements specificity. the results demonstrate that this proposed approach avoids the spread of conflicts and enables the derivation of reasonable conclusions from inconsistent knowledge bases.