Automated Reasoning in Temporal DL-Lite (Extended Abstract).
Sabiha TahratGermán Alejandro BraunAlessandro ArtaleMarco GarioAna OzakiPublished in: Description Logics (2020)
Keyphrases
- extended abstract
- automated reasoning
- reasoning tasks
- dl lite
- description logics
- knowledge representation
- reasoning systems
- first order logic
- theorem proving
- theorem prover
- decision procedures
- probabilistic reasoning
- knowledge representation and reasoning
- query answering
- temporal reasoning
- expressive power
- data complexity
- temporal information
- knowledge base
- computational complexity
- artificial intelligence
- data mining
- data exchange
- semantic web
- databases
- np hard
- computational properties
- bayesian networks