![](/images/graphics-bg.png)
Incoherency Problems in a Combination of Description Logics and Rules
Joint Authors
Huang, Shasha
Hao, Jing
Luo, Dang
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-6, 6 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-03-06
Country of Publication
Egypt
No. of Pages
6
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Huang, Shasha& Hao, Jing& Luo, Dang. 2014. Incoherency Problems in a Combination of Description Logics and Rules. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-484422
Modern Language Association (MLA)
Huang, Shasha…[et al.]. Incoherency Problems in a Combination of Description Logics and Rules. Journal of Applied Mathematics No. 2014 (2014), pp.1-6.
https://search.emarefa.net/detail/BIM-484422
American Medical Association (AMA)
Huang, Shasha& Hao, Jing& Luo, Dang. Incoherency Problems in a Combination of Description Logics and Rules. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-484422
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-484422