{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:29:51Z","timestamp":1725496191117},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76890-6_58","type":"book-chapter","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:37:06Z","timestamp":1195641426000},"page":"1303-1311","source":"Crossref","is-referenced-by-count":12,"title":["Approaches to Inconsistency Handling in Description-Logic Based Ontologies"],"prefix":"10.1007","author":[{"given":"David","family":"Bell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiru","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"58_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"issue":"1-2","key":"58_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.artint.2003.08.003","volume":"153","author":"S. Benferhat","year":"2004","unstructured":"Benferhat, S., Kaci, S., Le Berre, D., Williams, M.-A.: Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell.\u00a0153(1-2), 339\u2013371 (2004)","journal-title":"Artif. Intell."},{"key":"58_CR3","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI 2006 (2006)"},{"key":"58_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/11574620_19","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G. Friedrich","year":"2005","unstructured":"Friedrich, G., Shchekotykhin, K.M.: A general diagnosis method for ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 232\u2013246. Springer, Heidelberg (2005)"},{"key":"58_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"58_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/11431053_13","volume-title":"The Semantic Web: Research and Applications","author":"P. Haase","year":"2005","unstructured":"Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"key":"58_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The fact system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"58_CR8","first-page":"254","volume-title":"Proc. of 19th International Joint Conference on Artificial Intelligence(IJCAI 2005)","author":"Z. Huang","year":"2005","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of 19th International Joint Conference on Artificial Intelligence(IJCAI 2005), pp. 254\u2013259. Morgan Kaufmann, San Francisco (2005)"},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Grau, B.C., Sirin, E.: Justifications for entailments in expressive description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS) (2006)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"58_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/11762256_15","volume-title":"The Semantic Web: Research and Applications","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in owl ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 170\u2013184. Springer, Heidelberg (2006)"},{"issue":"3","key":"58_CR11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell.\u00a052(3), 263\u2013294 (1992)","journal-title":"Artif. Intell."},{"key":"58_CR12","doi-asserted-by":"crossref","unstructured":"Lam, J., Pan, J.Z., Seeman, D., Vasconcelos, W.: A fine-grained approach to resolving unsatisfiable ontologies. In: Proc. of WI 2006 (2006)","DOI":"10.1109\/WI.2006.11"},{"key":"58_CR13","doi-asserted-by":"crossref","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Algorithms for Paraconsistent Reasoning with OWL. In: Proceedings of ESWC2007 (to appear, 2007)","DOI":"10.1007\/978-3-540-72667-8_29"},{"key":"58_CR14","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":"58_CR15","unstructured":"Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 645\u2013650. AAAI Press (2005)"},{"key":"58_CR16","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic alc. In: Proc. of AAAI 2006 (2006)"},{"key":"58_CR17","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":"58_CR18","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":"58_CR19","doi-asserted-by":"crossref","unstructured":"Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: Proc. of ISWC 2006. Springer Verlag (to appear, 2007)","DOI":"10.1007\/978-3-540-76298-0_28"},{"key":"58_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/11853886_32","volume-title":"Logics in Artificial Intelligence","author":"G. Qi","year":"2006","unstructured":"Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 386\u2013398. Springer, Heidelberg (2006)"},{"key":"58_CR21","unstructured":"Qi, G., Liu, W., Bell, D.A.: A revision-based algorithm for handling inconsistency in description logics. In: Proc. of NMR 2006 (2006)"},{"key":"58_CR22","unstructured":"Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI 2005, pp. 670\u2013675 (2005)"},{"key":"58_CR23","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI 2003, pp. 355\u2013362 (2003)"},{"key":"58_CR24","unstructured":"Schlobach, S., Huang, Z., Cornet, R.: Inconsistent ontology diagnosis: Evaluation. Technical report, Department of Artificial Intelligence, Vrije University Amsterdam; SEKT Deliverable D3.6.2 (2006)"},{"key":"58_CR25","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)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76890-6_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:48Z","timestamp":1619520348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76890-6_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768890"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76890-6_58","relation":{},"subject":[]}}