Automated Reasoning in Temporal DL-Lite.
Sabiha TahratGermán Alejandro BraunAlessandro ArtaleMarco GarioAna OzakiPublished in: CoRR (2020)
Keyphrases
- automated reasoning
- reasoning tasks
- dl lite
- description logics
- knowledge representation
- reasoning systems
- first order logic
- theorem proving
- theorem prover
- probabilistic reasoning
- temporal reasoning
- query answering
- decision procedures
- temporal information
- expressive power
- knowledge representation and reasoning
- data complexity
- knowledge base
- data exchange
- expert systems
- conjunctive queries
- logic programming
- query rewriting
- computational complexity
- graphical models
- np complete
- probabilistic model
- answer sets
- query optimization
- artificial intelligence