Paraconsistent Semantics for Hybrid MKNF Knowledge Bases

  title={Paraconsistent Semantics for Hybrid MKNF Knowledge Bases},
  author={Shasha Huang and Qingguo Li and Pascal Hitzler},
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… CONTINUE READING