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,…