DL-Lite and Interval Temporal Logics: a Marriage Proposal.
Alessandro ArtaleDavide BresolinAngelo MontanariGuido SciaviccoVladislav RyzhikovPublished in: ECAI (2014)
Keyphrases
- temporal logic
- dl lite
- description logics
- query answering
- model checking
- mazurkiewicz traces
- data complexity
- modal logic
- computational complexity
- expressive power
- conjunctive queries
- first order logic
- query rewriting
- satisfiability problem
- temporal knowledge
- data exchange
- belief revision
- knowledge base
- reasoning tasks
- knowledge representation and reasoning
- database
- knowledge representation
- data integration
- data model
- incomplete information
- integrity constraints
- theorem proving
- computational properties