113 citations · 113 across the 2 of their papers we have counts for
6 papers
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…
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Jean Francois Baget, Salem Benferhat, Zied Bouraoui +5
We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art an…
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
J. F. Baget, M. L. Mugnier
Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph homom…