UCQ-rewritings with Disjunctive Existential Rules and Conjunctive Queries with Negated Atoms

Tracking #: 2371-3585

This paper is currently under review
Enrique Matos Alfonso
Giorgos Stamou
Alexandros Chortaras

Responsible editor: 
Bernardo Cuenca Grau

Submission type: 
Full Paper
We focus on the problem of query rewriting for the framework of disjunctive existential rules. It is a well known approach for query answering on knowledge bases with incomplete data. We propose a rewriting technique that uses negative constraints and conjunctive queries to remove components from the disjunction in disjunctive existential rules. This process will eventually generate new existential rules. The generated rules can then be used to produce new rewritings considering the existing rewriting approaches for the existential rules framework. The algorithm is implemented in COMPLETO in order to provide complete rewritings for unions of conjunctive queries with negation. Additionally, we report some experiments to evaluate the viability of the proposed solution.
Full PDF Version: 
Under Review