DL-Lite in the Light of First-Order Logic.
Alessandro ArtaleDiego CalvaneseRoman KontchakovMichael ZakharyaschevPublished in: AAAI (2007)
Keyphrases
- dl lite
- first order logic
- expressive power
- description logics
- theorem proving
- probabilistic reasoning
- inference rules
- transitive closure
- query answering
- knowledge representation
- relational algebra
- inductive logic programming
- horn clauses
- incomplete information
- theorem prover
- function symbols
- data complexity
- computational complexity
- formal semantics
- machine learning
- np complete
- query rewriting
- database systems