TY - JOUR T1 - Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases JF - Logic Journal of the IGPL Y1 - 2013 A1 - Shasha Huang A1 - Qingguo Li A1 - Pascal Hitzler KW - Data complexity KW - Description logics and rules KW - Knowledge representation KW - Non-monotonic reasoning KW - Paraconsistent reasoning AB - This paper is concerned with the handling of inconsistencies occurring in the combination of description logics and rules, especially in hybrid MKNF knowledge bases. More precisely, we present a paraconsistent semantics for hybrid MKNF knowledge bases (called para-MKNF knowledge bases) based on four-valued logic as proposed by Belnap. We also reduce this paraconsistent semantics to the stable model semantics via a linear transformation operator, which shows the relationship between the two semantics and indicates that the data complexity in our paradigm is not higher than that of classical reasoning. Moreover, we provide fixpoint operators to compute paraconsistent MKNF models, each suitable to different kinds of rules. At last we present the data complexity of instance checking in different paraMKNF knowledge bases. VL - 21 UR - http://dx.doi.org/10.1093/jigpal/jzs043 ER - TY - CONF T1 - Paraconsistent Semantics for Hybrid MKNF Knowledge Bases T2 - Web Reasoning and Rule Systems - 5th International Conference, RR 2011 Y1 - 2011 A1 - Shasha Huang A1 - Qingguo Li A1 - Pascal Hitzler ED - Sebastian Rudolph ED - Claudio Gutierrez AB -

Hybrid MKNF knowledge bases, originally based on the stable model semantics, is a mature method of combining rules and Description Logics (DLs). The well-founded semantics for such knowledge bases has been proposed subsequently for better efficiency of reasoning. However, integration of rules and DLs may give rise to inconsistencies, even if they are respectively consistent. Accordingly, reasoning systems based on the previous two semantics will break down. In this paper, we employ the four-valued logic proposed by Belnap, and present a paraconsistent semantics for Hybrid MKNF knowledge bases, which can detect inconsistencies and handle it effectively. Besides, we transform our proposed semantics to the stable model semantics via a linear transformation operator, which indicates that the data complexity in our paradigm is not higher than that of classical reasoning. Moreover, we provide a fixpoint algorithm for computing paraconsistent MKNF models.

JF - Web Reasoning and Rule Systems - 5th International Conference, RR 2011 PB - Springer CY - Galway, Ireland VL - 6902 UR - http://dx.doi.org/10.1007/978-3-642-23580-1_8 ER -