Provenance for the Description Logic ELHr - ANR - Agence nationale de la recherche Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Provenance for the Description Logic ELHr

Résumé

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 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.
Fichier principal
Vignette du fichier
paper2243.pdf (308.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02899464 , version 1 (15-07-2020)

Identifiants

Citer

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu. Provenance for the Description Logic ELHr. IJCAI-PRICAI-20 - Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.1862-1869, ⟨10.24963/ijcai.2020/258⟩. ⟨hal-02899464⟩
69 Consultations
200 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More