{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:00:58Z","timestamp":1762326058689,"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>In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answer semantics. We address the recent issue of query abstraction, which consists of abstracting data queries by translating them to the ontology layer. Since a perfect abstraction may not exist, the notions of minimally complete and maximally sound abstractions have been introduced. \n\n We study abstractions within an extension of UCQs with a limited form of inequality and a special predicate marking database constants. While this extension does not lead to an increased complexity of the problems of interest, it is able to express minimally complete abstractions, hence perfect abstractions when they exist. We also characterize maximally sound abstractions by making a new connection with the notion of  maximum recovery stemming from data exchange.<\/jats:p>","DOI":"10.24963\/kr.2025\/43","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"440-449","source":"Crossref","is-referenced-by-count":0,"title":["Abstractions of Queries in Ontology-Based Data Access"],"prefix":"10.24963","author":[{"given":"Michel","family":"Lecl\u00e8re","sequence":"first","affiliation":[{"name":"LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France"}]},{"given":"Marie-Laure","family":"Mugnier","sequence":"additional","affiliation":[{"name":"LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France"}]},{"given":"Guillaume","family":"P\u00e9rution-Kihli","sequence":"additional","affiliation":[{"name":"LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France"}]}],"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:11Z","timestamp":1762323071000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/43"}},"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\/43","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}