Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.
Pavel KlinovBijan ParsiaPublished in: URSW (LNCS Vol.) (2013)
Keyphrases
- first order logic
- description logics
- dl lite
- knowledge representation
- probabilistic reasoning
- expressive power
- inference rules
- probability theory
- computational properties
- propositional logic
- highly expressive
- theorem proving
- knowledge base
- theorem prover
- knowledge representation and reasoning
- conditional probabilities
- semantic web
- probabilistic logic
- model theoretic
- inductive logic programming
- transitive closure
- reasoning tasks
- relational algebra
- markov logic networks
- exptime complete
- probabilistic graphical models
- automated reasoning
- representation language
- incomplete information
- probability distribution
- horn clauses
- natural language
- data complexity
- bayesian networks
- markov logic
- artificial intelligence
- expert systems
- answering queries
- ontology languages
- logic programming
- query answering
- default reasoning
- machine learning
- belief networks
- tree decomposition