A Proof Theory for DL-Lite.
Diego CalvaneseEvgeny KharlamovWerner NuttPublished in: Description Logics (2007)
Keyphrases
- proof theory
- dl lite
- reasoning problems
- description logics
- query answering
- default reasoning
- automated reasoning
- first order logic
- reasoning tasks
- computational complexity
- query rewriting
- data complexity
- conjunctive queries
- expressive power
- ontology languages
- knowledge representation
- computational properties
- model theoretic
- theorem prover
- probabilistic reasoning
- knowledge base
- semantic web
- database
- data exchange
- nonmonotonic reasoning
- integrity constraints
- multi agent
- machine learning