A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases.
Marco AlbertiEvelina LammaFabrizio RiguzziRiccardo ZesePublished in: PLP@ILP (2017)
Keyphrases
- description logics
- knowledge base
- description logic programs
- model theoretic
- reasoning tasks
- dl lite
- logic programming
- owl dl
- knowledge representation languages
- computational properties
- tableau calculus
- probabilistic knowledge
- dl programs
- probabilistic model
- possibilistic logic
- sound and complete with respect
- open world
- highly expressive
- bayesian networks
- owl ontologies
- conjunctive queries
- conceptual model
- knowledge based systems
- probability distribution
- expert systems
- digital libraries
- probabilistic logic
- formal semantics
- expressive power
- random variables
- knowledge representation