Tractable reasoning in probabilistic OWL profiles.
Melisachew Wudage ChekolHeiner StuckenschmidtPublished in: SAC (2018)
Keyphrases
- knowledge representation
- probabilistic logic
- knowledge base
- open world
- probabilistic reasoning
- probabilistic knowledge
- expressive description logics
- probabilistic model
- generative model
- semantic web
- automated reasoning
- bayesian networks
- ontology reasoning
- logical inference
- causal networks
- reasoning systems
- reasoning process
- user profiles
- inference process
- knowledge representation language
- reasoning services
- computational complexity
- owl ontologies
- owl dl
- belief networks
- incomplete information
- web ontology language
- domain knowledge
- np hard