Valda Seminar: David Carral
David Carral, TU Dresden 14 December 2018, 10:30-11:30 ENS, S16 Reasoning over Existential Rules with Acyclicity Notions The chase is a sound and complete (albeit non-terminating) algorithm for conjunctive query answering over ontologies of existential rules. On the theoretical side, we develop sufficient conditions to guarantee its termination (i.e., acyclicity…