6 citations · 10 across the 7 of their papers we have counts for
7 papers
Abstractions of Queries in Ontology-Based Data Access
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answe…
Query Rewriting with Disjunctive Existential Rules and Mappings
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
We consider the issue of answering unions of conjunctive queries (UCQs) with disjunctive existential rules and mappings. While this issue has already been well studied from a chase…
Oblivious and Semi-Oblivious Boundedness for Existential Rules
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier +3
We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independe…
Characterizing Boundedness in Chase Variants
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier +1
Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family o…
On the k-Boundedness for Existential Rules
Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier +1
The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls.…
A Single Approach to Decide Chase Termination on Linear Existential Rules
Michel Leclere, Marie-Laure Mugnier, Michael Thomazo +1
Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological…