How to decide Query Containment under Constraints using a Description Logic.
Ian HorrocksUlrike SattlerSergio TessarisStephan TobiesPublished in: KRDB (2000)
Keyphrases
- description logics
- query containment
- exptime complete
- conjunctive queries
- query answering
- regular path queries
- dl lite
- reasoning tasks
- complexity bounds
- transitive closure
- knowledge base
- decision procedures
- query optimization
- knowledge representation
- data complexity
- query rewriting
- expressive power
- regular expressions
- integrity constraints
- datalog programs
- query language
- query evaluation
- expert systems
- np complete
- data model
- database systems