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 |
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: | |
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
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |