Probabilistic Reasoning in DL-Lite.
Raghav RamachandranGuilin QiKewen WangJunhu WangJohn ThorntonPublished in: PRICAI (2012)
Keyphrases
- probabilistic reasoning
- dl lite
- first order logic
- description logics
- knowledge representation
- expressive power
- model theoretic
- automated reasoning
- query answering
- probabilistic logic
- reasoning tasks
- bayesian networks
- data complexity
- theorem prover
- default reasoning
- theorem proving
- inductive logic programming
- query rewriting
- knowledge base
- inference rules
- constraint satisfaction
- incomplete information
- logic programming
- computational complexity
- formal semantics
- computational properties
- reasoning systems
- conjunctive queries
- data exchange
- ontology languages
- natural language
- high level