Provenance for the Description Logic ELHr [article]

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020 arXiv   pre-print
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
more » ... us 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.
arXiv:2001.07541v2 fatcat:tv3vmpzvkzc7to26p65wrid5ue