Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBox.
Natalya KeberlePublished in: ICTERI (2013)
Keyphrases
- dl lite
- conjunctive queries
- query answering
- unions of conjunctive queries
- description logics
- data complexity
- data exchange
- query rewriting
- integrity constraints
- answering queries
- query evaluation
- incomplete information
- temporal information
- data integration
- query language
- probabilistic databases
- np complete
- expressive power
- query containment
- schema mappings
- special case
- database
- reasoning tasks
- decision procedures
- lower bound
- databases