{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T15:25:04Z","timestamp":1772205904320,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocab-\nulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC,\nwhich can include TBox and ABox axioms. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.<\/jats:p>","DOI":"10.24963\/kr.2020\/59","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"592-602","source":"Crossref","is-referenced-by-count":10,"title":["Signature-Based Abduction for Expressive Description Logics"],"prefix":"10.24963","author":[{"given":"Patrick","family":"Koopmann","sequence":"first","affiliation":[{"name":"Institute for Theoretical Computer Science, Technische Universit\u00e3t Dresden, Germany"}]},{"given":"Warren","family":"Del-Pinto","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, United Kingdom"}]},{"given":"Sophie","family":"Tourret","sequence":"additional","affiliation":[{"name":"Automation of Logic Group, Max Planck Institut Informatik, Germany"}]},{"given":"Renate A.","family":"Schmidt","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, United Kingdom"}]}],"member":"10584","event":{"name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2020","number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"start":{"date-parts":[[2020,9,12]]},"end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:43Z","timestamp":1604611123000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/59"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/59","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}