{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T22:10:32Z","timestamp":1649023832174},"reference-count":3,"publisher":"Hindawi Limited","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Mathematics"],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>A paraconsistent semantics has been presented for hybrid MKNF knowledge bases\u2014a 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-<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M1\"><mml:mrow><mml:msub><mml:mrow><mml:mi>S<\/mml:mi><\/mml:mrow><mml:mrow><mml:mn>5<\/mml:mn><\/mml:mrow><\/mml:msub><\/mml:mrow><\/mml:math>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-<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M2\"><mml:mrow><mml:msub><mml:mrow><mml:mi>S<\/mml:mi><\/mml:mrow><mml:mrow><mml:mn>5<\/mml:mn><\/mml:mrow><\/mml:msub><\/mml:mrow><\/mml:math>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.<\/jats:p>","DOI":"10.1155\/2014\/604753","type":"journal-article","created":{"date-parts":[[2014,3,9]],"date-time":"2014-03-09T05:22:55Z","timestamp":1394342575000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Incoherency Problems in a Combination of Description Logics and Rules"],"prefix":"10.1155","volume":"2014","author":[{"given":"Shasha","family":"Huang","sequence":"first","affiliation":[{"name":"College of Mathematics and Information, North China University of Water Resources and Electric Power, Zhengzhou, Henan 450045, China"}]},{"given":"Jing","family":"Hao","sequence":"additional","affiliation":[{"name":"College of Mathematics and Information, Henan University of Economics and Law, Zhengzhou, Henan 450000, China"}]},{"given":"Dang","family":"Luo","sequence":"additional","affiliation":[{"name":"College of Mathematics and Information, North China University of Water Resources and Electric Power, Zhengzhou, Henan 450045, China"}]}],"member":"98","reference":[{"key":"6","year":"2009"},{"key":"5","year":"2003"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/5.3.265"}],"container-title":["Journal of Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/604753.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/604753.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/604753.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T22:52:21Z","timestamp":1469746341000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/jam\/2014\/604753\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":3,"alternative-id":["604753","604753"],"URL":"https:\/\/doi.org\/10.1155\/2014\/604753","relation":{},"ISSN":["1110-757X","1687-0042"],"issn-type":[{"value":"1110-757X","type":"print"},{"value":"1687-0042","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}