{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:46:46Z","timestamp":1725472006280},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540467885"},{"type":"electronic","value":"9783540467908"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11896548_40","type":"book-chapter","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T02:02:49Z","timestamp":1161136969000},"page":"535-553","source":"Crossref","is-referenced-by-count":4,"title":["Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach"],"prefix":"10.1007","author":[{"given":"Yue","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhangang","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Patel-Schneider Peter, F., Ian, H.: OWL Web Ontology Language Semantics and Abstract Syntax. In: W3C Recommendation, February 10 (2004)"},{"key":"40_CR2","unstructured":"Franz, B., Ian, H., Sattler, U.: Description logic as ontology languages for the semantic web. In: Proceedings of the Workshop on Methods for Modalities 2001 (2001)"},{"issue":"4","key":"40_CR3","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"H. Ian","year":"2004","unstructured":"Ian, H., Patel-Schneider Peter, F.: Reducing owl entailment to description logic satisfiability. J. Web Sem.\u00a01(4), 345\u2013357 (2004)","journal-title":"J. Web Sem."},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Benferhat, S., El Baida, R., Cuppens, F.: A stratification-based approach for handling conflicts in access control. In: Symposium on Access Control Models and Technologies (SACMAT 2003), June 2-3 (2003)","DOI":"10.1145\/775412.775437"},{"key":"40_CR5","unstructured":"Zuoquan, L., Wei, L.: Para-consistent logic(I)\u2014 the study of traditional para-consistent logic. Computer Science\u00a021(5) (1994)"},{"key":"40_CR6","unstructured":"Zuoquan, L., Wei, L.: Para-consistent logic(II)\u2014 the study of new para-consistent logic. Computer Science\u00a021(6) (1994)"},{"key":"40_CR7","unstructured":"Zuoquan, L., Wei, L.: Para-consistent logic(III)\u2014 the logic base of para-consistent logic. Computer Science\u00a022(1) (1995)"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. Modern uses of multiple-valued logic, 7\u201373 (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"40_CR9","unstructured":"Belnap, N.D.: How a computer should think. In: Comtemporary Aspects of Philosophy: Proceedings of the Oxford International Symposium, pp. 30\u201356 (1977)"},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(89)90036-2","volume":"38","author":"P.F. Patel-Schneider","year":"1989","unstructured":"Patel-Schneider, P.F.: A four-valued semantics for terminological logics. Artificial Intelligence\u00a038, 319\u2013351 (1989)","journal-title":"Artificial Intelligence"},{"key":"40_CR11","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 454\u2013459. Professional Book Center (2005)"},{"key":"40_CR12","unstructured":"Fitting, M.: Bilattices are nice things. In: Proceedings of Conference on Self-Reference (2002)"},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence\u00a0102, 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"40_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic, Language and Information\u00a05(1), 25\u201363 (1996)","journal-title":"J. Logic, Language and Information"},{"key":"40_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45758-5_1","volume-title":"Foundations of Information and Knowledge Systems","author":"O. Arieli","year":"2002","unstructured":"Arieli, O., Denecker, M.: Modeling paraconsistent reasoning by classical logic. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol.\u00a02284, pp. 1\u201314. Springer, Heidelberg (2002)"},{"key":"40_CR16","first-page":"773","volume-title":"ECAI","author":"O. Arieli","year":"2004","unstructured":"Arieli, O.: Paraconsistent preferential reasoning by signed quantified boolean formulae. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) ECAI, pp. 773\u2013777. IOS Press, Amsterdam (2004)"},{"key":"40_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/11766247_17","volume-title":"Advances in Artificial Intelligence","author":"A. Yue","year":"2006","unstructured":"Yue, A., Ma, Y., Zuoquan, L.: Four-valued semantics for default logic. In: Lamontagne, L., Marchand, M. (eds.) Canadian AI 2006. LNCS, vol.\u00a04013, pp. 195\u2013205. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"40_CR18","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0004-3702(97)00012-X","volume":"92","author":"S. Benferhat","year":"1997","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell.\u00a092(1-2), 259\u2013276 (1997)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Current Trends in Database Technology \u2013 EDBT 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11896548_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:55:48Z","timestamp":1605624948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11896548_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540467885","9783540467908"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11896548_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}