Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1

We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive…