Skip to Main content Skip to Navigation
Journal articles

On Rules with Existential Variables: Walking the Decidability Line

Jean-François Baget 1 Michel Leclère 1 Marie-Laure Mugnier 1 Eric Salvat 2 
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as conjunctive query answering or entailment) undecidable. These rules, called forall-exists-rules, have the same logical form as tuple-generating dependencies in databases and as conceptual graph rules. The aim of this paper is to provide a clearer picture of the frontier between decidability and non-decidability of reasoning with these rules. Previous known decidable classes were based on forward chaining. On one hand we extend these classes, on the other hand we introduce decidable classes based on backward chaining. A side result is the definition of a backward mechanism that takes the complex structure of forall-exists-rule conclusions into account. We classify all known decidable classes by inclusion. Then, we study the question of whether the union of two decidable classes remains decidable and show that the answer is negative, except for one class and a still open case. This highlights the interest of studying interactions between rules. We give a constructive definition of dependencies between rules and widen the landscape of decidable classes with conditions on rule dependencies and a mixed forward/backward chaining mechanism. Finally, we integrate rules with equality and negative constraints to our framework.
Document type :
Journal articles
Complete list of metadata
Contributor : Jean-François Baget Connect in order to contact the contributor
Submitted on : Tuesday, April 19, 2011 - 9:51:28 AM
Last modification on : Friday, August 5, 2022 - 3:03:00 PM

Links full text




Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. On Rules with Existential Variables: Walking the Decidability Line. Artificial Intelligence, Elsevier, 2011, 175 (9-10), pp.1620-1654. ⟨10.1016/j.artint.2011.03.002⟩. ⟨lirmm-00587012⟩



Record views