Filters








3 Hits in 2.0 sec

Provenance for the Description Logic ELHr (Extended Abstract)

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020 International Workshop on Description Logics  
This extended abstract presents our work on provenance for the description logic ELH r published at IJCAI 2020 [2].  ...  Important reasoning tasks performed over description logics (DL) ontologies are axiom entailment, i.e. deciding whether a given DL axiom follows from the ontology; and query answering.  ...  Provenance semirings serve as an abstract algebraic tool to record and track provenance information; that is, to keep track of the specific database tuples used for deriving the query, and of the way they  ... 
dblp:conf/dlog/BourgauxOPP20 fatcat:ubppt7h6s5aznleecys52oo4li

Provenance for the Description Logic ELHr [article]

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020 arXiv   pre-print
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  ...  We address the problem of handling provenance information in ELHr ontologies.  ...  PROVDL and FO2S, and by the Italian PRIN project HOPE.  ... 
arXiv:2001.07541v2 fatcat:tv3vmpzvkzc7to26p65wrid5ue

An Upper Bound for Provenance in ELHr [article]

Rafael Peñaloza
2021 arXiv   pre-print
We investigate the entailment problem in ELHr ontologies annotated with provenance information.  ...  The proof is based on the construction of a weighted tree automaton which recognises a language that matches with the corresponding provenance polynomial.  ...  Very recently, the problem of answering provenance queries in the description logic ELH r was studied [5] .  ... 
arXiv:2108.12774v1 fatcat:2xykbvp56rgxpmetzjtwu6titi