1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2026★ 1 cited
Semiring Provenance for Lightweight Description Logics
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are a…
cs.LO2025
On Middle Grounds for Preference Statements
Anne-Marie George, Ana Ozaki
In group decisions or deliberations, stakeholders are often confronted with conflicting opinions. We investigate a logic-based way of expressing such opinions and a formal general…