no code implementations • 25 Oct 2023 • Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
We define a provenance semantics for a language that encompasses several lightweight description logics and show its relationships with semantics that have been defined for ontologies annotated with a specific kind of annotation (such as fuzzy degrees).
no code implementations • 6 Jun 2023 • Meghyn Bienvenu, Camille Bourgaux
Finally, we clarify the relationship between optimal repairs of prioritized databases and repair notions introduced in the framework of active integrity constraints.
1 code implementation • 16 Feb 2022 • Meghyn Bienvenu, Camille Bourgaux
We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts.
no code implementations • 27 Aug 2021 • Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
It has been shown that convex geometric regions capture the so-called quasi-chained rules.
no code implementations • 12 Mar 2020 • Meghyn Bienvenu, Camille Bourgaux
The second contribution of our work is to clarify the relationship between optimal repairs and different notions of extensions for (set-based) argumentation frameworks.
no code implementations • 21 Jan 2020 • Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
We address the problem of handling provenance information in ELHr ontologies.