{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:08:26Z","timestamp":1725703706343},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328909"},{"type":"electronic","value":"9783642328916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32891-6_17","type":"book-chapter","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T04:54:11Z","timestamp":1349499251000},"page":"125-130","source":"Crossref","is-referenced-by-count":3,"title":["An ABox Abduction Algorithm for the Description Logic ALCI"],"prefix":"10.1007","author":[{"given":"Yanwei","family":"Ma","sequence":"first","affiliation":[]},{"given":"Tianlong","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Binbin","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Liang","family":"Chang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-54507-7_12","volume-title":"Fundamentals of Artificial Intelligence Research","author":"P. Marquis","year":"1991","unstructured":"Marquis, P.: Extending Abduction from Propositional to First-Order Logic. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol.\u00a0535, pp. 141\u2013155. Springer, Heidelberg (1991)"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","author":"M.C. Mayer","year":"1993","unstructured":"Mayer, M.C., Pirri, F.: First order abduction via tableau and sequent calculi. Logic Journal of the IGPL\u00a01(1), 99\u2013117 (1993)","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"17_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10817-010-9168-z","volume":"46","author":"S. Klarman","year":"2011","unstructured":"Klarman, S., Endriss, Schlobach, et al.: ABox abduction in the description logic ALC. Journal of Automated Reasoning\u00a046(1), 43\u201380 (2011)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR4","first-page":"56","volume-title":"Proceedings of the 9th OWL: Experiences and Directions","author":"C. Elsenvroich","year":"2006","unstructured":"Elsenvroich, C., Kutz, O., Sattler, U., et al.: A case for abductive reasoning over ontologies. In: Proceedings of the 9th OWL: Experiences and Directions, pp. 56\u201375. IOS Press, Amsterdam (2006)"},{"key":"17_CR5","first-page":"84","volume-title":"Proceedings of the American Association for Artificial Intelligence 2006 Fall Symposium","author":"D. Davenport","year":"2006","unstructured":"Davenport, D., Hill, R.: Fast abductive reasoning over ontologies. In: Proceedings of the American Association for Artificial Intelligence 2006 Fall Symposium, pp. 84\u201397. AAAI Press, Menlo Park (2006)"},{"key":"17_CR6","first-page":"1160","volume-title":"Proc. of the 25th American Association for Artificial Intelligence Conference","author":"J. Du","year":"2011","unstructured":"Du, J., Qi, G., Shen, Y., et al.: Towards Practical ABox Abduction in Large OWL DL Ontologies. In: Proc. of the 25th American Association for Artificial Intelligence Conference, pp. 1160\u20131165. AAAI Press, Menlo Park (2011)"},{"key":"17_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787","volume-title":"Handbook of Description Logic","author":"F. Baader","year":"2007","unstructured":"Baader, F., Nutt, W., Horrocks, L., et al.: Handbook of Description Logic. Cambridge University Press, Cambridge (2007)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"17_CR9","volume-title":"Handbook of Automated Reasoning","author":"R. Hahnle","year":"2001","unstructured":"Hahnle, R.: Tableaux and Related Methods. In: Handbook of Automated Reasoning. Elsevier, Amsterdam (2001)"}],"container-title":["IFIP Advances in Information and Communication Technology","Intelligent Information Processing VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32891-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:19:31Z","timestamp":1620116371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32891-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328909","9783642328916"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32891-6_17","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}