Conjunctive Queries with Negation over DL-Lite: A Closer Look.
Víctor Gutiérrez-BasultoYazmín Angélica Ibáñez-GarcíaRoman KontchakovEgor V. KostylevPublished in: RR (2013)
Keyphrases
- dl lite
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- query answering
- data complexity
- integrity constraints
- query evaluation
- deductive databases
- query containment
- np complete
- conjunctive query answering
- query rewriting
- query language
- data exchange
- unions of conjunctive queries
- conjunctive regular path queries
- description logics
- decision procedures
- incomplete information
- logic programming
- special case
- probabilistic databases
- inconsistent databases
- expressive power
- data integration
- query processing
- logic programs
- answering queries
- consistent query answering
- combined complexity
- schema mappings
- data management
- np hard
- fixpoint
- horn clauses
- answer sets
- computational complexity
- databases