{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:39:34Z","timestamp":1723016374894},"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":[[2019,8]]},"abstract":"<jats:p>Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge.\u00a0\nFor querying the absence of information, however, there exist only few ontology-based approaches.\u00a0\nMoreover, these proposals conflate the closed-domain and closed-world assumption, and therefore are not suited to deal with the anonymous objects that are common in ontological reasoning. \nWe propose a new closed-world semantics for answering conjunctive queries with negation over ontologies formulated in the description logic ELH-bottom, based on the minimal canonical model.\u00a0\nWe propose a rewriting strategy for dealing with negated query atoms, which shows that query answering is possible in polynomial time in data complexity.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/849","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:46:05Z","timestamp":1564285565000},"page":"6131-6135","source":"Crossref","is-referenced-by-count":0,"title":["Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies"],"prefix":"10.24963","author":[{"given":"Stefan","family":"Borgwardt","sequence":"first","affiliation":[{"name":"Chair for Automata Theory, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Forkel","sequence":"additional","affiliation":[{"name":"Chair for Automata Theory, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:52:14Z","timestamp":1564285934000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/849"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/849","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}