Semiring Provenance for Lightweight Description Logics
📰 ArXiv cs.AI
Semiring provenance is applied to lightweight description logics to track ontology axiom annotations
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
Share This
🤖 Semiring provenance for lightweight description logics enables tracking of ontology axiom annotations #AI #KnowledgeGraphs
DeepCamp AI