Query Containment in Description Logics Reconsidered.
Meghyn BienvenuCarsten LutzFrank WolterPublished in: KR (2012)
Keyphrases
- description logics
- query containment
- exptime complete
- conjunctive queries
- query answering
- transitive closure
- regular path queries
- complexity bounds
- reasoning tasks
- decision procedures
- knowledge representation
- knowledge base
- integrity constraints
- query optimization
- query rewriting
- regular expressions
- tree patterns
- dl lite
- data exchange
- query evaluation
- data complexity
- databases
- incomplete information
- special case
- expressive power
- np complete
- unions of conjunctive queries
- datalog programs
- data integration
- query language