Probabilistic Datalog+/- under the Distribution Semantics.
Fabrizio RiguzziElena BellodiEvelina LammaPublished in: Description Logics (2012)
Keyphrases
- logic programming
- formal semantics
- fixpoint semantics
- expressive power
- logic programs
- probabilistic model
- bayesian networks
- deductive databases
- generative model
- conditional probabilities
- model theoretic
- relational query languages
- semantic information
- databases
- database languages
- relational calculus
- query language
- probabilistic reasoning
- spatial distribution
- probability distribution
- query answering
- transitive closure
- power law
- fixpoint
- operational semantics
- probabilistic knowledge
- disjunctive logic programming
- query evaluation
- integrity constraints