Incoherency Problems in a Combination of Description Logics and Rules
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 n...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2014/604753 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832549100611960832 |
|---|---|
| author | Shasha Huang Jing Hao Dang Luo |
| author_facet | Shasha Huang Jing Hao Dang Luo |
| author_sort | Shasha Huang |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-6edf040ef54e4fe89dde00ce8a069aef |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2014-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-6edf040ef54e4fe89dde00ce8a069aef2025-02-03T06:12:10ZengWileyJournal of Applied Mathematics1110-757X1687-00422014-01-01201410.1155/2014/604753604753Incoherency Problems in a Combination of Description Logics and RulesShasha Huang0Jing Hao1Dang Luo2College of Mathematics and Information, North China University of Water Resources and Electric Power, Zhengzhou, Henan 450045, ChinaCollege of Mathematics and Information, Henan University of Economics and Law, Zhengzhou, Henan 450000, ChinaCollege of Mathematics and Information, North China University of Water Resources and Electric Power, Zhengzhou, Henan 450045, ChinaA 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.http://dx.doi.org/10.1155/2014/604753 |
| spellingShingle | Shasha Huang Jing Hao Dang Luo Incoherency Problems in a Combination of Description Logics and Rules Journal of Applied Mathematics |
| title | Incoherency Problems in a Combination of Description Logics and Rules |
| title_full | Incoherency Problems in a Combination of Description Logics and Rules |
| title_fullStr | Incoherency Problems in a Combination of Description Logics and Rules |
| title_full_unstemmed | Incoherency Problems in a Combination of Description Logics and Rules |
| title_short | Incoherency Problems in a Combination of Description Logics and Rules |
| title_sort | incoherency problems in a combination of description logics and rules |
| url | http://dx.doi.org/10.1155/2014/604753 |
| work_keys_str_mv | AT shashahuang incoherencyproblemsinacombinationofdescriptionlogicsandrules AT jinghao incoherencyproblemsinacombinationofdescriptionlogicsandrules AT dangluo incoherencyproblemsinacombinationofdescriptionlogicsandrules |