{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:34:07Z","timestamp":1780382047599,"version":"3.54.1"},"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 address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens. A consequence inherits the provenance of the axioms involved in deriving it, yielding a provenance polynomial as an annotation. We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency of the semiring. Under this assumption, we study three problems: ontology completion with provenance, computing the set of relevant axioms for a consequence, and query answering.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/258","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T08:12:10Z","timestamp":1594195930000},"page":"1862-1869","source":"Crossref","is-referenced-by-count":6,"title":["Provenance for the Description Logic ELHr"],"prefix":"10.24963","author":[{"given":"Camille","family":"Bourgaux","sequence":"first","affiliation":[{"name":"DI ENS, ENS, CNRS, PSL University"},{"name":"Inria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ana","family":"Ozaki","sequence":"additional","affiliation":[{"name":"University of Bergen"},{"name":"Free University of Bozen-Bolzano"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rafael","family":"Penaloza","sequence":"additional","affiliation":[{"name":"University of Milano-Bicocca"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Livia","family":"Predoiu","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","theme":"Artificial Intelligence","location":"Yokohama, Japan","acronym":"IJCAI-PRICAI-2020","number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2020,7,11]]},"end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T22:14:08Z","timestamp":1594246448000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/258"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/258","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}