{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:00:19Z","timestamp":1762326019947,"version":"build-2065373602"},"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":[[2025,11]]},"abstract":"<jats:p>We study a fitting problem inspired by ontology-mediated querying: given a collection of positive and negative examples of the form (A, q) with A an ABox and q a query, we seek an ontology O such that A \u222a O entails q for all positive examples (A, q) and A \u222a O does not entail q for all negative examples (A, q). We consider the description logics ALC and ALCI as ontology languages and a range of query languages that includes atomic queries (AQs), conjunctive queries (CQs), and unions thereof (UCQs). For all of the resulting fitting problems, we provide effective characterizations and determine the computational complexity of deciding whether a fitting ontology exists. This problem turns out to be coNP-complete for AQs and full CQs and 2ExpTime-complete for CQs and UCQs. These results hold for both ALC and ALCI.<\/jats:p>","DOI":"10.24963\/kr.2025\/33","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"336-345","source":"Crossref","is-referenced-by-count":0,"title":["Fitting Description Logic Ontologies to ABox and Query Examples"],"prefix":"10.24963","author":[{"given":"Maurice","family":"Funk","sequence":"first","affiliation":[{"name":"Leipzig University"}]},{"given":"Marvin","family":"Grosser","sequence":"additional","affiliation":[{"name":"Leipzig University"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[{"name":"Leipzig University"}]}],"member":"10584","event":{"name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}","theme":"Artificial Intelligence","location":"Melbourne, Australia","acronym":"KR-2025","number":"22","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2025,11,11]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:11:06Z","timestamp":1762323066000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/33"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2025\/33","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}