Conjunctive Query Entailment for SHOQ.
Birte GlimmIan HorrocksUlrike SattlerPublished in: Description Logics (2007)
Keyphrases
- conjunctive queries
- np complete
- description logics
- query answering
- query evaluation
- data complexity
- integrity constraints
- relational database theory
- query language
- database theory
- query rewriting
- acyclic conjunctive queries
- special case
- logic programming
- decision procedures
- query containment
- data exchange
- np hard
- datalog programs
- bounded treewidth
- probabilistic databases
- computational complexity
- knowledge base
- knowledge representation
- dl lite
- boolean expressions
- logical equivalence