Paraconsistent Reasoning for Expressive and Tractable Description Logics

TitleParaconsistent Reasoning for Expressive and Tractable Description Logics
Publication TypeConference Paper
Year of Publication2008
AuthorsYue Ma, Zuoquan Lin, Pascal Hitzler
Publisher21st International Workshop on Description Logics, DL2008
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.

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.
year: 2008
venue name: 21st International Workshop on Description Logics, DL2008
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/dl2008-m...