An Aleatoric Description Logic for Probabilistic Reasoning.
Tim FrenchThomas SmokerPublished in: Description Logics (2021)
Keyphrases
- probabilistic reasoning
- description logics
- knowledge representation
- knowledge base
- first order logic
- automated reasoning
- bayesian networks
- probabilistic logic
- default reasoning
- reasoning tasks
- probabilistic inference
- logic programming
- constraint satisfaction
- computational properties
- dl lite
- tree decomposition
- belief networks
- artificial intelligence
- reasoning systems
- reasoning problems
- computing least common subsumers
- semantic web
- markov logic networks
- ontology languages
- model theoretic
- probabilistic knowledge
- natural language
- integrity constraints
- graphical models
- special case
- machine learning