{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,3]],"date-time":"2026-11-03T06:07:30Z","timestamp":1793686050387,"version":"4.5.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642050817","type":"print"},{"value":"9783642050824","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05082-4_14","type":"book-chapter","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T02:19:58Z","timestamp":1255486798000},"page":"197-211","source":"Crossref","is-referenced-by-count":26,"title":["Paraconsistent Reasoning for OWL 2"],"prefix":"10.1007","author":[{"given":"Yue","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. Modern uses of multiple-valued logics, 7\u201373 (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"14_CR2","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Linking data to ontologies: The description logic DL-Lite-A. In: Proc. of the 2nd Int. Workshop on OWL: Experiences and Directions (OWLED 2006). CEUR Electronic Workshop Proceedings, vol.\u00a0216 (2006), http:\/\/ceur-ws.org\/"},{"issue":"3","key":"14_CR3","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proceedings of the 12th International World Wide Web Conference (WWW 2003)","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International World Wide Web Conference (WWW 2003), Budapest, Hungary, pp. 48\u201357. ACM, New York (2003)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11574620_27","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Haase","year":"2005","unstructured":"Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A Framework for Handling Inconsistency in Changing Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 353\u2013367. Springer, Heidelberg (2005)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC (2009)","DOI":"10.1201\/9781420090512"},{"issue":"1","key":"14_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From $\\mathcal{SHIQ}$ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"14_CR8","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":"14_CR9","first-page":"466","volume-title":"Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005)","author":"U. Hustadt","year":"2005","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, July 30 \u2013 August 5, pp. 466\u2013471. Morgan Kaufmann Publishers, San Francisco (2005)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1007\/978-3-642-02121-3_71","volume-title":"ESWC 2009","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtm\u00fcller, S.: Radon - repair and diagnosis in ontology networks. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E.P.B. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 863\u2013867. Springer, Heidelberg (2009)"},{"key":"14_CR11","first-page":"452","volume-title":"AAAI","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: AAAI, pp. 452\u2013457. AAAI Press, Menlo Park (2007)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL\u00a02. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-72667-8_29","volume-title":"The Semantic Web: Research and Applications","author":"Y. Ma","year":"2007","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 399\u2013413. Springer, Heidelberg (2007)"},{"key":"14_CR14","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics, DL 2008, Dresden, Germany, May 2008. CEUR Workshop Proceedings, vol.\u00a0353 (2008)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/11896548_40","volume-title":"Current Trends in Database Technology \u2013 EDBT 2006","author":"Y. Ma","year":"2006","unstructured":"Ma, Y., Lin, Z., Lin, Z.: Inferring with inconsistent OWL DL ontology: A multi-valued logic approach. In: Grust, T., H\u00f6pfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., M\u00fcller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol.\u00a04254, pp. 535\u2013553. Springer, Heidelberg (2006)"},{"key":"14_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-75256-1_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"Y. Ma","year":"2007","unstructured":"Ma, Y., Qi, G., Hitzler, P., Lin, Z.: Measuring inconsistency for description logics based on paraconsistent semantics. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 30\u201341. Springer, Heidelberg (2007)"},{"key":"14_CR17","unstructured":"McGuinness, D.L., van Harmelen, F. (eds.): OWL Web Ontology Language Overview. W3C Recommendation, February 10 (2004), http:\/\/www.w3.org\/TR\/owl-features\/ ."},{"key":"14_CR18","unstructured":"Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD thesis, University of Karlsruhe, Germany (2006)"},{"key":"14_CR19","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Candidate Recommendation, June 11 (2009), http:\/\/www.w3.org\/TR\/2009\/CR-owl2-profiles-20090611\/"},{"key":"14_CR20","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":"14_CR21","first-page":"355","volume-title":"IJCAI","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) IJCAI, pp. 355\u2013362. Morgan Kaufmann, San Francisco (2003)"},{"key":"14_CR22","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-92673-3","volume-title":"Handbook on Ontologies","author":"S. Staab","year":"2009","unstructured":"Staab, S., Studer, R.: Handbook on Ontologies, 2nd edn. International Handbooks on Information Systems. Springer, Heidelberg (2009)","edition":"2"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BFb0027425","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"U. Straccia","year":"1997","unstructured":"Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.\u00a01227, pp. 343\u2013357. Springer, Heidelberg (1997)"},{"key":"14_CR24","unstructured":"W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview (2009), http:\/\/www.w3.org\/TR\/owl2-overview\/"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05082-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T06:17:41Z","timestamp":1634019461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05082-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050817","9783642050824"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05082-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}