How to Decide Query Containment Under Constraints Using a Description Logic.
Ian HorrocksUlrike SattlerSergio TessarisStephan TobiesPublished in: LPAR (2000)
Keyphrases
- description logics
- query containment
- exptime complete
- query answering
- conjunctive queries
- dl lite
- regular path queries
- complexity bounds
- reasoning tasks
- transitive closure
- knowledge base
- decision procedures
- query rewriting
- knowledge representation
- data complexity
- integrity constraints
- query optimization
- query language
- np complete
- artificial intelligence
- incomplete information
- query evaluation
- data exchange
- special case