2 papers
cs.DB2020
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Pablo Barcelo, Gerald Berger, Carsten Lutz +1
We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability,…
cs.DB2018
The Space-Efficient Core of Vadalog
Gerald Berger, Georg Gottlob, Andreas Pieris +1
Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs. The logical core of the underlying Vadalog language is the warded fr…