Computing and Library Services - delivering an inspiring information environment

Query answering over disjunctive datalog with existential quantifiers

Alviano, Mario, Faber, Wolfgang, Leone, Nicola and Manna, Marco (2013) Query answering over disjunctive datalog with existential quantifiers. In: 21st Italian Symposium on Advanced Database Systems, 30 June - 3 July 2013, Roccella Jonica, Italy.

PDF - Accepted Version
Download (309kB) | Preview


The paper discusses the impact of adding existential quantifi-
cation in the head of positive disjunctive Datalog rules. After introducing
syntax and semantics of the resulting language, we provide a notion of
instantiation, which has been proven to be adequate for query answering
purposes. Although on the one hand this new formalism is attractive for
knowledge management, especially in domains where ontology-based rea-
soning is needed, on the other hand the presence of existential quantifiers
does not preserve decidability of the typical reasoning tasks even if dis-
junction is forbidden. Therefore, we consider many decidable fragments
of the language that naturally extend analogous classes defined in the
non-disjunctive case, and we give a complete picture of the complexity
of answering conjunctive queries in this setting.

Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering > High-Performance Intelligent Computing
Related URLs:
Depositing User: Wolfgang Faber
Date Deposited: 08 Jul 2014 13:32
Last Modified: 04 Nov 2015 15:20


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©