{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T01:05:49Z","timestamp":1777424749178,"version":"3.51.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,2,23]],"date-time":"2010-02-23T00:00:00Z","timestamp":1266883200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1007\/s10817-010-9168-z","type":"journal-article","created":{"date-parts":[[2010,2,22]],"date-time":"2010-02-22T03:11:48Z","timestamp":1266808308000},"page":"43-80","source":"Crossref","is-referenced-by-count":27,"title":["ABox Abduction in the Description Logic $\\boldsymbol{\\mathcal{ALC}}$"],"prefix":"10.1007","volume":"46","author":[{"given":"Szymon","family":"Klarman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulle","family":"Endriss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schlobach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,23]]},"reference":[{"key":"9168_CR1","unstructured":"Aliseda-Llera, A.: Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD thesis, ILLC Disertation Series, University of Amsterdam (1997)"},{"issue":"2","key":"9168_CR2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/322248.322249","volume":"28","author":"PB Andrews","year":"1981","unstructured":"Andrews, P.B.: Theorem proving via general matings. J. ACM 28(2), 193\u2013214 (1981)","journal-title":"J. ACM"},{"key":"9168_CR3","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 (2003)"},{"key":"9168_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 47\u2013100. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511711787.004"},{"key":"9168_CR5","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1\u201382. Elsevier Science Publishers B.V. (2001)","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"9168_CR6","unstructured":"Bada, M., Mungall, C., Hunter, L.: A call for an abductive reasoning feature in OWL-reasoning tools toward ontology quality control. In: Proceedings of the 5th International Workshop OWL: Experiences and Directions 2008 (OWLED\u201908 Karlsruhe) (2008)"},{"issue":"4","key":"9168_CR7","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322276.322277","volume":"28","author":"W Bibel","year":"1981","unstructured":"Bibel, W.: On matrices with connections. J. ACM 28(4), 633\u2013645 (1981)","journal-title":"J. ACM"},{"key":"9168_CR8","unstructured":"Bienvenu, M.: Complexity of abduction in the EL family of lightweight description logics. In: Proceedings of KR2008, 11th International Conference on Principles of Knowledge Representation and Reasoning (2008)"},{"key":"9168_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., van Benthem, J.: Modal logic: a semantic perspective. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 1\u201382. Elsevier (2006)","DOI":"10.1016\/S1570-2464(07)80004-8"},{"key":"9168_CR10","unstructured":"Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: A uniform tableaux-based approach to concept abduction and contraction in ALN. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004) (2004)"},{"key":"9168_CR11","doi-asserted-by":"crossref","unstructured":"Cox, P.T., Pietrzykowski, T.: Causes for events: their computation and applications. In: Proceedings of the 8th International Conference on Automated Deduction, pp. 608\u2013621 (1986)","DOI":"10.1007\/3-540-16780-3_125"},{"key":"9168_CR12","unstructured":"Elsenbroich, C.: Instinct for Detection. PhD thesis, Department of Computer Science, King\u2019s College London (2005)"},{"key":"9168_CR13","unstructured":"Elsenbroich, C., Kutz, O., Sattler, U.: A case for abductive reasoning over ontologies. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the OWLED\u201906 workshop on OWL: Experiences and Directions 2006, vol. 216 (2006)"},{"key":"9168_CR14","doi-asserted-by":"crossref","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004). LNAI, vol. 3229, pp. 31\u201343. Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-30227-8_6"},{"key":"9168_CR15","unstructured":"Espinosa Peraldi, S., Kaya, A., Melzer, S., M\u00f6ller, R., Wessel, M.: Multimedia interpretation as abduction. In: International Workshop on Description Logics (DL-2007) (2007)"},{"key":"9168_CR16","doi-asserted-by":"crossref","unstructured":"Flach, P., Kakas, A. (eds.): Abduction and Induction: Essays on their relation and integration. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-94-017-0606-3"},{"key":"9168_CR17","volume-title":"Elementary Logics: A Procedural Perspective","author":"DM Gabbay","year":"1998","unstructured":"Gabbay, D.M.: Elementary Logics: A Procedural Perspective. Prentice Hall Europe, UK (1998)"},{"key":"9168_CR18","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Olivetti, N.: Goal-directed proof theory. Applied Logic Series, vol. 21. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-94-017-1713-7"},{"issue":"2","key":"9168_CR19","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1093\/jigpal\/jzk014","volume":"14","author":"DM Gabbay","year":"2006","unstructured":"Gabbay, D.M., Woods, J.: Advice on abductive logic. Log. J. IGPL 14(2), 182\u2013219 (2006)","journal-title":"Log. J. IGPL"},{"key":"9168_CR20","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) International Joint Conference on Automated Reasoning, IJCAR\u20192001, pp. 701\u2013705 (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"key":"9168_CR21","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Tableaux and related methods. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 101\u2013178. Elsevier Science Publishers B.V. (2001)","DOI":"10.1016\/B978-044450813-3\/50005-9"},{"issue":"4","key":"9168_CR22","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.tcs.2004.09.001","volume":"328","author":"R H\u00e4hnle","year":"2004","unstructured":"H\u00e4hnle, R., Murray, N., Rosenthal, E.: Linearity and regularity with negation normal form. Theor. Comp. Sci. 328(4), 325\u2013354 (2004)","journal-title":"Theor. Comp. Sci."},{"key":"9168_CR23","doi-asserted-by":"crossref","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: The International Semantic Web Conference 2008 (ISWC 08) (2008)","DOI":"10.1007\/978-3-540-88564-1_21"},{"key":"9168_CR24","doi-asserted-by":"crossref","unstructured":"Horrocks, I.: The FaCT system. In: de\u00a0Swart, H. (ed.) Proceedings of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX\u201998). Lecture Notes in Artificial Intelligence, vol. 1397, pp. 307\u2013312. Springer (1998)","DOI":"10.1007\/3-540-69778-0_30"},{"key":"9168_CR25","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 57\u201367 (2006)"},{"issue":"1","key":"9168_CR26","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 SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"6","key":"9168_CR27","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719\u2013770 (1992)","journal-title":"J. Log. Comput."},{"key":"9168_CR28","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Grau, B.C.: Beyond asserted axioms: Fine-grain justifications for OWL-DL entailments. In: Proceedings of the International Workshop on Description Logics DL\u201906, (2006)","DOI":"10.1007\/978-3-540-76298-0_20"},{"issue":"2\u20133","key":"9168_CR29","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10817-007-9090-1","volume":"40","author":"Y Kazakov","year":"2008","unstructured":"Kazakov, Y., Motik, B.: A resolution-based decision procedure for SHOIQ. J. Autom. Reason. 40(2\u20133), 89\u2013116 (2008)","journal-title":"J. Autom. Reason."},{"key":"9168_CR30","unstructured":"Klarman, S.: ABox Abduction in Description Logic. Master\u2019s thesis, ILLC, University of Amsterdam. http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/MoL-2008-03.text.pdf (2008)"},{"key":"9168_CR31","unstructured":"Loveland, D.W.: Automated theorem proving: a logical basis. Fundamental Studies in Computer Science, vol.\u00a06. North-Holland Publishing (1978)"},{"issue":"1","key":"9168_CR32","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","author":"MC Mayer","year":"1993","unstructured":"Mayer, M.C., Pirri, F.: First order abduction via tableau and sequent calculi. Bull. IGPL 1(1), 99\u2013117 (1993)","journal-title":"Bull. IGPL"},{"issue":"6","key":"9168_CR33","first-page":"907","volume":"3","author":"MC Mayer","year":"1995","unstructured":"Mayer, M.C., Pirri, F. Propositional abduction in modal logic. Journal of the Interest Group in Pure and Applied Logics 3(6), 907\u2013919 (1995)","journal-title":"Journal of the Interest Group in Pure and Applied Logics"},{"key":"9168_CR34","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, R., Neumann, B.: Ontology-based reasoning techniques for multimedia interpretation and retrieval. In: Kompatsiaris, Y., Hobson, P. (eds.) Semantic Multimedia and Ontologies: Theory and Applications. Springer (2008)","DOI":"10.1007\/978-1-84800-076-6_3"},{"key":"9168_CR35","doi-asserted-by":"crossref","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) Proceedings of the 21st Conference on Automated Deduction (CADE-21), vol.\u00a04603, pp.\u00a067\u201383 (2007)","DOI":"10.1007\/978-3-540-73595-3_6"},{"issue":"2","key":"9168_CR36","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00849080","volume":"7","author":"G Paul","year":"1993","unstructured":"Paul G.: Approaches to abductive reasoning: an overview. Artif. Intell. Rev. 7(2), 109\u2013152 (1993)","journal-title":"Artif. Intell. Rev."},{"issue":"9","key":"9168_CR37","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1080\/00029890.1959.11989404","volume":"66","author":"WVO Quine","year":"1959","unstructured":"Quine, W.V.O.: On cores and prime implicants of truth functions. Am. Math. Mon. 66(9), 755\u2013760 (1959)","journal-title":"Am. Math. Mon."},{"key":"9168_CR38","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of IJCAI-91, 12th International Joint Conference on Artificial Intelligence, pp.\u00a0466\u2013471. Sidney, AU (1991)"},{"issue":"3","key":"9168_CR39","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"33","author":"S Schlobach","year":"2007","unstructured":"Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reason. 33(3), 317\u2013349 (2007)","journal-title":"J. Autom. Reason."},{"key":"9168_CR40","unstructured":"Schurz, G.: Models of Abductive Reasoning. TPD Preprint\u00a01, University of D\u00fcsseldorf (2002)"},{"key":"9168_CR41","unstructured":"Tammet, T.: Resolution Methods for Decision Problems and Finite-Model Building. PhD thesis, G\u00f6teborg University (1992)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-010-9168-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-010-9168-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-010-9168-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:21:50Z","timestamp":1559251310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-010-9168-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,23]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["9168"],"URL":"https:\/\/doi.org\/10.1007\/s10817-010-9168-z","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,23]]}}}