no code implementations • 17 Feb 2022 • Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations.