Probabilistic ABox Reasoning: Preliminary Results.
Michael DürigThomas StuderPublished in: Description Logics (2005)
Keyphrases
- expressive description logics
- description logics
- terminological reasoning
- probabilistic logic
- probabilistic reasoning
- reasoning tasks
- knowledge base
- owl dl
- probabilistic knowledge
- probabilistic model
- generative model
- bayesian networks
- reasoning systems
- computational properties
- knowledge representation
- automated reasoning
- uncertain data
- reasoning problems
- logical inference
- reasoning services
- qualitative reasoning
- causal networks
- semantic web
- default reasoning
- posterior probability
- conditional probabilities