Semiring Provenance for Lightweight Description Logics
arXiv:2310.16472v4 Announce Type: replace-cross
Abstract: We investigate semiring provenance–a successful framework originally defined in the relational database setting–for description logics. In this context, the ontology axioms are annotated with…