UCQ-rewritings for Disjunctive Knowledge

Tracking #: 2197-3410

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

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