Paraconsistent Reasoning for Expressive and Tractable Description Logics

Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as classical semantics. In this paper, we further study how to extend the four-valued semantics to more expressive description logics, such as SHIQ, and to more tractable description logics including EL++, DL-Lite, and Horn-DLs. The most effort we spend defining the four-valued semantics of expressive four-valued description logics is on keeping the reduction from four-valued semantics to classical semantics as in the case of ALC; While for tractable description logics, we mainly focus on how to maintain their tractability when adopting four-valued semantics.

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Yue Ma, Pascal Hitzler, Zuoquan Lin
• Keywords: Automated Reasoning, Description Logics, DLOG 2008, Four-valued Description Logics, Four-valued Semantics