Temporal Conjunctive Query Answering in the Extended DL-Lite Family.
Stefan BorgwardtVeronika ThostPublished in: CoRR (2020)
Keyphrases
- dl lite
- conjunctive query answering
- description logics
- query answering
- data complexity
- conjunctive queries
- computational complexity
- first order logic
- query rewriting
- reasoning tasks
- expressive power
- temporal information
- special case
- knowledge base
- tuple generating dependencies
- knowledge representation
- computational properties
- temporal reasoning
- exptime complete
- query evaluation
- data exchange
- unions of conjunctive queries
- combined complexity
- semantic web
- databases
- schema mappings
- model theoretic