{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T11:31:24Z","timestamp":1790422284196,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540752554","type":"print"},{"value":"9783540752561","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75256-1_6","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T13:20:53Z","timestamp":1189689653000},"page":"30-41","source":"Crossref","is-referenced-by-count":13,"title":["Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics"],"prefix":"10.1007","author":[{"given":"Yue","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, Professional Book Center (2005)"},{"key":"6_CR2","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":"6_CR3","unstructured":"Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI 2005, pp. 670\u2013675 (2005)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW 2005, pp. 633\u2013640 (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.datak.2005.04.005","volume":"57","author":"A. Hunter","year":"2006","unstructured":"Hunter, A.: How to act on inconsistent news: Ignore, resolve, or reject. Data Knowl. Eng.\u00a057, 221\u2013239 (2006)","journal-title":"Data Knowl. Eng."},{"key":"6_CR6","unstructured":"Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proc. Of AAAI\/IAAI, pp. 68\u201373 (2002)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-30597-2_7","volume-title":"Inconsistency Tolerance","author":"A. Hunter","year":"2005","unstructured":"Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol.\u00a03300, pp. 191\u2013236. Springer, Heidelberg (2005)"},{"key":"6_CR8","unstructured":"Hunter, A., Konieczny, S.: Shapley inconsistency values. In: Proc. of KR 2006, pp. 249\u2013259 (2006)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1015015709557","volume":"31","author":"K. Knight","year":"2001","unstructured":"Knight, K.: Measuring inconsistency. Journal of Philosophical Logic\u00a031, 77\u201398 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/j.jal.2004.07.005","volume":"2","author":"C.A. Oller","year":"2004","unstructured":"Oller, C.A.: Measuring coherence using LP-models. J. Applied Logic\u00a02, 451\u2013455 (2004)","journal-title":"J. Applied Logic"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10844-006-2974-4","volume":"27","author":"J. Grant","year":"2006","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst.\u00a027, 159\u2013184 (2006)","journal-title":"J. Intell. Inf. Syst."},{"key":"6_CR12","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","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":"6_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell.\u00a082, 353\u2013367 (1996)","journal-title":"Artif. Intell."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artif. Intell.\u00a074, 249\u2013310 (1995)","journal-title":"Artif. Intell."},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Sem.\u00a01, 345\u2013357 (2004)","journal-title":"J. Web Sem."},{"key":"6_CR16","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. Artif. Intell.\u00a0102, 97\u2013141 (1998)","journal-title":"Artif. Intell."},{"key":"6_CR17","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. Artif. Intell.\u00a038, 319\u2013351 (1989)","journal-title":"Artif. Intell."},{"key":"6_CR18","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, vol.\u00a01227, pp. 343\u2013357. Springer, Heidelberg (1997)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1305\/ndjfl\/1093888404","volume":"19","author":"J. Grant","year":"1978","unstructured":"Grant, J.: Classifications for inconsistent theories. Notre Dame J. Formal Logic\u00a019, 435\u2013444 (1978)","journal-title":"Notre Dame J. Formal Logic"},{"key":"6_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/3-540-44652-4_48","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A. Hunter","year":"2001","unstructured":"Hunter, A.: A semantic tableau version of first-order quasi-classical logic. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 544\u2013555. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75256-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T14:59:15Z","timestamp":1550933955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75256-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752554","9783540752561"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75256-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}