Open Access
Translator Disclaimer
2014 Incoherency Problems in a Combination of Description Logics and Rules
Shasha Huang, Jing Hao, Dang Luo
J. Appl. Math. 2014: 1-6 (2014). DOI: 10.1155/2014/604753


A paraconsistent semantics has been presented for hybrid MKNF knowledge bases—a combination method for description logics and rules. However, it is invalid when incoherency occurs in the knowledge base. In this paper, we introduce a semi-S5 semantics for hybrid MKNF knowledge bases on the basis of nine-valued lattice, such that it is paraconsistent for incoherent knowledge base. It is shown that a semi-S5 model can be computed via a fixpoint operator and is in fact a paraconsistent MKNF model when the knowledge base is incoherent. Moreover, we apply six-valued lattice to hybrid MKNF knowledge bases and present a suspicious semantics to distinguish different trust level information. At last, we investigate the relationship between suspicious semantics and paraconsistent semantics.


Download Citation

Shasha Huang. Jing Hao. Dang Luo. "Incoherency Problems in a Combination of Description Logics and Rules." J. Appl. Math. 2014 1 - 6, 2014.


Published: 2014
First available in Project Euclid: 2 March 2015

zbMATH: 1404.03026
MathSciNet: MR3178964
Digital Object Identifier: 10.1155/2014/604753

Rights: Copyright © 2014 Hindawi


Vol.2014 • 2014
Back to Top