Query Answering over Disjunctive Datalog with Existential Quantifiers.
Mario AlvianoWolfgang FaberNicola LeoneMarco MannaPublished in: SEBD (2013)
Keyphrases
- query answering
- data exchange
- integrity constraints
- conjunctive queries
- incomplete information
- ontology based data access
- data complexity
- first order logic
- answering queries
- expressive power
- data integration
- dl lite
- disjunctive logic programming
- natural language
- polynomial hierarchy
- schema mappings
- datalog programs
- query answers
- query rewriting
- answer set programming
- metadata