{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:37:39Z","timestamp":1723016259903},"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>We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME-hard<\/jats:p>","DOI":"10.24963\/kr.2020\/43","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"424-433","source":"Crossref","is-referenced-by-count":0,"title":["On Finite Entailment of Non-Local Queries in Description Logics"],"prefix":"10.24963","author":[{"given":"Tomasz","family":"Gogacz","sequence":"first","affiliation":[{"name":"University of Warsaw"}]},{"given":"V\u00edctor","family":"Guti\u00e9rrez-Basulto","sequence":"additional","affiliation":[{"name":"Cardiff University"}]},{"given":"Albert","family":"Gutowski","sequence":"additional","affiliation":[{"name":"University of Warsaw"}]},{"given":"Yazm\u00edn","family":"Ib\u00e1\u00f1ez-Garc\u00eda","sequence":"additional","affiliation":[{"name":"Cardiff University"}]},{"given":"Filip","family":"Murlak","sequence":"additional","affiliation":[{"name":"University of Warsaw"}]}],"member":"10584","event":{"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"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","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:39Z","timestamp":1604611119000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/43"}},"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\/43","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}