Temporal OBDA with LTL and DL-Lite.
Alessandro ArtaleRoman KontchakovAlisa KovtunovaVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: Description Logics (2014)
Keyphrases
- dl lite
- linear temporal logic
- description logics
- query answering
- temporal information
- temporal logic
- model checking
- first order logic
- data complexity
- expressive power
- computational complexity
- conjunctive queries
- query rewriting
- data exchange
- reasoning tasks
- databases
- temporal reasoning
- computational properties
- knowledge representation