Existential rules are Datalog rules extended with existential quantifiers in rule-heads. Three fundamental restriction paradigms that have been studied for ...

Krötzsch M. and Rudolph S. 2011. Extending decidable existential rules by joining acyclicity and guardedness. In Proceedings of the 22nd International Joint ...

Dive into the research topics of 'Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum'. Together they ...

Dive into the research topics of 'Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum'. Together they ...

Mar 21, 2011 · We have also shown that the graph of rule dependencies is a powerful tool for combining decidable paradigms while keeping decidability. More ...

Abstract. We consider positive rules in which the conclusion may con- tain existentially quantified variables, which makes reason-.

No information is available for this page. · Learn why

Abstract. In ∀∃-rules, the conclusion may contain existen- tially quantified variables, which makes reason- ing tasks (as deduction) non-decidable. These.

In ∀∃-rules, the conclusion may contain existen- tially quantified variables, which makes reason- ing tasks (as deduction) non-decidable. These.

decidability criteria when combined with decidable classes of existential rules. The contribution of this paper is two-fold: – first, it presents a class of ...