Semiring Provenance for Lightweight Description Logics

ArXi:2310.16472v4 Announce Type: replace-cross 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 elements of a commutative semiring and these annotations are propagated to the ontology consequences in a way that reflects how they are derived.