Goal-Driven Query Answering for Existential Rules with Equality

v1v2 (latest)

Goal-Driven Query Answering for Existential Rules with Equality

14 November 2017

Michael Benedikt

Efthymia Tsamoura

ArXiv (abs)PDF HTML

Papers citing "Goal-Driven Query Answering for Existential Rules with Equality"

5 / 5 papers shown

Title
Combining Existential Rules and Transitivity: Next Steps Jean-François Baget Meghyn Bienvenu M. Mugnier Swan Rocher 31 22 0 28 Apr 2015
Handling owl:sameAs via Rewriting B. Motik Yavor Nenov R. Piro Ian Horrocks LRM 31 20 0 13 Nov 2014
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau Ian Horrocks Markus Krotzsch C. Kupke Despoina Magka B. Motik Zhe Wang LRM 38 130 0 04 Feb 2014
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules M. König M. Leclère M. Mugnier M. Thomazo 33 53 0 13 Nov 2013
Magic Sets for Disjunctive Datalog Programs Mario Alviano Wolfgang Faber Gianluigi Greco Nicola Leone 60 55 0 27 Apr 2012