Conjunctive Query Answering in SH using Knots.
Magdalena OrtizMantas SimkusThomas EiterPublished in: Description Logics (2008)
Keyphrases
- conjunctive query answering
- description logics
- data complexity
- conjunctive queries
- query answering
- dl lite
- tuple generating dependencies
- expressive power
- np complete
- query evaluation
- data exchange
- exptime complete
- knowledge base
- reasoning tasks
- integrity constraints
- query language
- ontology languages
- computational complexity
- query rewriting
- knowledge representation
- answering queries
- query processing
- model theoretic
- first order logic
- transitive closure
- query containment
- data management