Temporal Minimal-World Query Answering over Sparse ABoxes.
Stefan BorgwardtWalter ForkelAlisa KovtunovaPublished in: Theory Pract. Log. Program. (2022)
Keyphrases
- query answering
- dl lite
- description logics
- data exchange
- data complexity
- conjunctive queries
- data integration
- query rewriting
- answering queries
- integrity constraints
- incomplete information
- temporal information
- temporal reasoning
- expressive power
- schema mappings
- first order logic
- database
- computational properties
- query answers
- reasoning tasks
- knowledge representation
- data model
- computational complexity