{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:40:35Z","timestamp":1723016435335},"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":[[2023,9]]},"abstract":"Circumscription is one of the main approaches for defining non-monotonic description logics (DLs) and the decidability and complexity of traditional reasoning tasks, such as satisfiability of circumscribed DL knowledge bases (KBs) are well understood. For evaluating conjunctive queries (CQs) and unions thereof (UCQs), in contrast, not even decidability had been established. In this paper, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity, for DLs ranging from ALCHIO via EL to various versions of DL-Lite. We also study the much simpler atomic queries (AQs).<\/jats:p>","DOI":"10.24963\/kr.2023\/47","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:27:47Z","timestamp":1690828067000},"page":"482-491","source":"Crossref","is-referenced-by-count":0,"title":["Querying Circumscribed Description Logic Knowledge Bases"],"prefix":"10.24963","author":[{"given":"Carsten","family":"Lutz","sequence":"first","affiliation":[{"name":"Department of Computer Science, Leipzig University, Germany"}]},{"given":"Quentin","family":"Mani\u00e8re","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Leipzig University, Germany"},{"name":"Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden\/Leipzig, Germany"}]},{"given":"Robin","family":"Nolte","sequence":"additional","affiliation":[{"name":"University of Bremen, Digital Media Lab, Germany"}]}],"member":"10584","event":{"number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"acronym":"KR-2023","name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","start":{"date-parts":[[2023,9,2]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:28:31Z","timestamp":1690828111000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/47"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/47","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}