2 papers
cs.AI2020
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…
cs.AI2018
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.…