Chase Termination for Guarded Existential Rules

Marco Calautti, Georg Gottlob, Andreas Pieris. Chase Termination for Guarded Existential Rules. In Andrea Calì, Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. Volume 1378 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.