Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs

Abstract

The complete picture of the complexity of conjunctive query answering under guarded disjunctive existential rules has been recently settled. However, in the case of (unions of) acyclic conjunctive queries ((U)ACQs) there are some fundamental questions which are still open. It is the precise aim of the present paper to close those questions, and to understand whether the acyclicity of thequery has a positive impact on the complexity of query answering. Our main result states that acyclic conjunctive query answering under a fixed set of guarded disjunctive existential rules is EXPTIME-hard. This result together with an EXPTIME upper bound obtained by exploiting classical results on guarded first-order logic, gives us a complete picture of the complexity of our problem. We also show that our results can be used as a generic tool for establishing results on (U)ACQ answering under several central DLs. In fact, restricting the query language to UACQs improves the complexity to EXPTIME-complete for any DL between DL-Litebool and ALCHI; this holds even for fixed TBoxes.<br/