DMCA
Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases (2012)
BibTeX
@MISC{Huang12reasoningwith,
author = {Shasha Huang and Qingguo Li and Pascal Hitzler},
title = {Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases},
year = {2012}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 paracon-sistent semantics to the stable model semantics via a linear transformation operator, which shows the relationship between the two semantics and in-dicates 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 para-MKNF knowledge bases.
Keyphrases
hybrid mknf knowledge base data complexity instance checking fixpoint operator paraconsistent semantics four-valued logic stable model semantics classical reasoning description logic linear transformation operator different para-mknf knowledge base paracon-sistent semantics paraconsistent mknf model different kind para-mknf knowledge base
