{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:57:45Z","timestamp":1743083865906,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021206"},{"type":"electronic","value":"9783642021213"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","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-02121-3_31","type":"book-chapter","created":{"date-parts":[[2009,5,20]],"date-time":"2009-05-20T06:58:54Z","timestamp":1242802734000},"page":"399-413","source":"Crossref","is-referenced-by-count":7,"title":["A Tableau Algorithm for Handling Inconsistency in OWL"],"prefix":"10.1007","author":[{"given":"Xiaowang","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohui","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1007\/978-3-540-76890-6_58","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"D.A. Bell","year":"2007","unstructured":"Bell, D.A., Qi, G., Liu, W.: Approaches to inconsistency handling in description-logic based ontologies. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS, vol.\u00a04806, pp. 1303\u20131311. Springer, Heidelberg (2007)"},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-1-4615-6245-0_11","volume-title":"Uncertainty Management in Information Systems","author":"Philippe Besnard","year":"1997","unstructured":"Besnard, P., del Cerro, L.F., Gabbay, D.M., Hunter, A.: Logical handling of inconsistent and default information. In: Uncertainty Management in Information Systems, pp. 325\u2013342 (1996)"},{"key":"31_CR3","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, Edinburgh, Scotland, UK, July 30-August 5, 2005, pp. 454\u2013459. Professional Book Center (2005)"},{"key":"31_CR4","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Owl web ontology language semantics and abstract syntax section 5. rdf-compatible model-theoretic semantics. Technical report, W3C (December 2004)"},{"key":"31_CR5","first-page":"355","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, pp. 355\u2013362. Morgan Kaufmann, San Francisco (2003)"},{"key":"31_CR6","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":"31_CR7","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":"31_CR8","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":"31_CR9","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent resolution for four-valued description logics. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, June 8-10, 2007, vol.\u00a0250. CEUR-WS.org (2007)"},{"key":"31_CR10","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008), Dresden, Germany, May 13-16, 2008, CEUR-WS.org (2008)"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/978-3-540-75256-1_72","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G. Qi","year":"2007","unstructured":"Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS, vol.\u00a04724, pp. 828\u2013839. Springer, Heidelberg (2007)"},{"key":"31_CR12","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":"31_CR13","unstructured":"Ma, Y., Qi, G., Hitzler, P., Lin, Z.: Measuring inconsistency for description logics based on paraconsistent semantics. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, June 8-10, 2007. CEUR Workshop Proceedings, vol.\u00a0250, CEUR-WS.org (2007)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-540-88737-9_18","volume-title":"RR 2008","author":"X. Zhang","year":"2008","unstructured":"Zhang, X., Lin, Z.: Paraconsistent reasoning with quasi-classical semantic in alc. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 222\u2013229. Springer, Heidelberg (2008)"},{"key":"31_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-60112-0_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"P. Besnard","year":"1995","unstructured":"Besnard, P., Hunter, A.: Quasi-classical logic: Non-trivializable classical reasoning from incosistent information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol.\u00a0946, pp. 44\u201351. Springer, Heidelberg (1995)"},{"issue":"5","key":"31_CR16","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"Hunter, A.: Reasoning with contradictory information using quasi-classical logic. J. Log. Comput.\u00a010(5), 677\u2013703 (2000)","journal-title":"J. Log. Comput."},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"31_CR17","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic shiq. CoRR cs.LO\/0005017 (2000)","DOI":"10.1007\/10721959_39"},{"key":"31_CR19","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 448\u2013453. Professional Book Center (2005)"},{"key":"31_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"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02121-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T03:39:23Z","timestamp":1558323563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02121-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021206","9783642021213"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02121-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}