activity
20202023
most citedGeometric Models for (Temporally) Attributed Description Logics

3 citations · 5 across the 4 of their papers we have counts for

collaborators

7 papers

cs.DB2023

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints

Meghyn Bienvenu, Camille Bourgaux

This paper revisits the problem of repairing and querying inconsistent databases equipped with universal constraints. We adopt symmetric difference repairs, in which both deletions…

cs.DB2022

Revisiting Semiring Provenance for Datalog

Camille Bourgaux, Pierre Bourhis, Liat Peterfreund +1

Data provenance consists in bookkeeping meta information during query evaluation, in order to enrich query results with their trust level, likelihood, evaluation cost, and more. Th…

cs.LO2022★ 2 cited

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

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 r…

cs.LO2021★ 3 cited

Geometric Models for (Temporally) Attributed Description Logics

Camille Bourgaux, Ana Ozaki, Jeff Z. Pan

In the search for knowledge graph embeddings that could capture ontological knowledge, geometric models of existential rules have been recently introduced. It has been shown that c…

cs.LO2021

Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Camille Bourgaux, David Carral, Markus Krötzsch +2

Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward tha…

cs.LO2020

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

Meghyn Bienvenu, Camille Bourgaux

In this paper, we explore the issue of inconsistency handling over prioritized knowledge bases (KBs), which consist of an ontology, a set of facts, and a priority relation between…

cs.LO2020

Provenance for the Description Logic ELHr

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza +1

We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and exten…