Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.
Francesco PagliarecciLuca SpalazziGilberto TaccariPublished in: Description Logics (2013)
Keyphrases
- dl lite
- description logics
- reasoning tasks
- temporal reasoning
- query answering
- reasoning systems
- knowledge base
- reasoning services
- expressive power
- computational properties
- knowledge representation
- data complexity
- first order logic
- temporal information
- model checking
- computational complexity
- logic programming
- owl dl
- temporal logic
- query rewriting
- conjunctive queries
- situation calculus
- machine learning
- model theoretic
- ontology languages
- integrity constraints
- answering queries
- probabilistic reasoning
- semantic web