Marco Manna

Finite Model Reasoning in Hybrid Classes of Existential Rules

2018

Two paradigmatic restrictions that have been studied for ensuring the decidability of query answering under existential rules are guardedness and stickiness. With the aim of consolidating these restrictions, a flexible condition, called tameness, has been …