Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Rafael Peñaloza: Semiring-based Provenance for Light-weight Description Logics

Tuesday, April 13, 2021, 1:00pm

Location: Online Session

Speaker: Rafael Peñaloza



Semiring-based provenance was originally studied in database theory to assign additional semantics to facts, and to the query answers that can be derived from them. This approach has been recently extended to ontologies, assigning a provenance token to each axiom in the ontology. Consequences from this ontology inherit a provenance value represented by a polynomial. In this talk, we present this provenance approach over light-weight description logics, showing that its semantics presents several difficulties for handling conjunctions. Assuming multiplicative idempotency mitigates these issues and allows for effective reasoning methods. In particular, we present a new automata-based construction for answering simple provenance queries in a variant of the DL EL.