Semiring Provenance for Lightweight Description Logics

📰 ArXiv cs.AI

Semiring provenance is applied to lightweight description logics to track ontology axiom annotations

advanced Published 31 Mar 2026

Action Steps

Define a commutative semiring to annotate ontology axioms
Propagate annotations to ontology consequences based on derivation rules
Apply provenance semantics to track the annotations and their propagation

Who Needs to Know This

AI researchers and knowledge graph engineers benefit from this work as it enables them to analyze and understand the derivation of ontology consequences

Key Insight

💡 Semiring provenance can be used to analyze and understand the derivation of ontology consequences in description logics

Key Takeaways

Semiring provenance is applied to lightweight description logics to track ontology axiom annotations

Full Article

Title: Semiring Provenance for Lightweight Description Logics

Abstract:
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 elements of a commutative semiring and these annotations are propagated to the ontology consequences in a way that reflects how they are derived. We define a provenance semantics for a language that encompasses several lightweight description logic

Read full paper → ← Back to Reads