<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Shasha Huang</style></author><author><style face="normal" font="default" size="100%">Qingguo Li</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases</style></title><secondary-title><style face="normal" font="default" size="100%">Logic Journal of the IGPL</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Data complexity</style></keyword><keyword><style  face="normal" font="default" size="100%">Description logics and rules</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge representation</style></keyword><keyword><style  face="normal" font="default" size="100%">Non-monotonic reasoning</style></keyword><keyword><style  face="normal" font="default" size="100%">Paraconsistent reasoning</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1093/jigpal/jzs043</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">263–290</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record></records></xml>