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.

Preview

PDF - Accepted Version Download (309kB) | Preview

Abstract

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:	Conference
Depositing User:	Wolfgang Faber
Date Deposited:	08 Jul 2014 13:32
Last Modified:	28 Aug 2021 19:05
URI:	http://eprints.hud.ac.uk/id/eprint/21033

Downloads

Repository Staff Only: item control page

View Item