Papers on the implemented tools

Overview of Graal, with focus on the query rewriting algorithms (PURE and its optimizations)

J.-F. Baget, M. Leclère, M.-L. Mugnier, S. Rocher, and C. Sipieter. Graal: A Toolkit for Query Answering with Existential Rules, in RuleML 2015 Conference, August 2015. pdf file

Formats and translations

J.-F. Baget, A. Gutierrez, M. Leclère, M.-L. Mugnier, S. Rocher and C. Sipieter. Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules, won the 9th International Rule Challenge Award, August 2015. pdf file - long version about OWL 2 to DLGP and the ER profile

About the first version of Kiabora

M. Leclère, M.-L. Mugnier, S.Rocher. KIABORA: An Analyzer of Existential Rule Bases, Proc. of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), July 2013. pdf file

Theoretical foundations and Algorithms

On the compilation-based query rewriting algorithm (implemented as the compilation-based PURE rewriter)

M. König, M. Leclère, and M.-L. Mugnier. Query Rewriting for Existential Rules with Compiled Preorder, in IJCAI 2015. pdf file

Several papers on basic query rewriting algorithms (implemented as the basic PURE rewriter)

M. Konig, M. Leclere, M.-L. Mugnier, M. Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. Semantic Web Journal, special issue on Web Reasoning and Rule Systems, Volume 6, Number 5, 2015. pdf file

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules, IJCAI 2013 (Sister Conference Track), August 2013. pdf file

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules, Proc. of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), July 2013. pdf file
Full version: Research Report LIRMM 13016

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules, Proc. of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), September 2012. Full version: Research Report LIRMM 12016 (v2 - August 2012)