|Title||Paraconsistent Reasoning for Expressive and Tractable Description Logics|
|Publication Type||Conference Paper|
|Year of Publication||2008|
|Authors||Yue Ma, Zuoquan Lin, Pascal Hitzler|
|Publisher||21st International Workshop on Description Logics, DL2008|
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.
|Full Text|| |
Yue Ma, Pascal Hitzler and Zuoquan Lin,'Paraconsistent Reasoning for Expressive and Tractable Description Logics,' Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008.