An Upper Bound for Provenance in ELHr
Logic in Computer Science
2021-08-31 v1
Abstract
We investigate the entailment problem in ELHr ontologies annotated with provenance information. In more detail, we show that subsumption entailment is in NP if provenance is represented with polynomials from the Trio semiring and in PTime if the semiring is not commutative. The proof is based on the construction of a weighted tree automaton which recognises a language that matches with the corresponding provenance polynomial.
Cite
@article{arxiv.2108.12774,
title = {An Upper Bound for Provenance in ELHr},
author = {Rafael Peñaloza},
journal= {arXiv preprint arXiv:2108.12774},
year = {2021}
}
Comments
Full version of paper appearing in the Description Logic Workshop 2021