TY - GEN
T1 - Loopy propagation in a probabilistic description logic
AU - Cozman, Fabio Gagliardi
AU - Polastro, Rodrigo Bellizia
PY - 2008/12/1
Y1 - 2008/12/1
N2 - This paper introduces a probabilistic description logic that adds probabilistic inclusions to the popular logic ALC, and derives inference algorithms for inference in the logic. The probabilistic logic, referred to as crALC ("credal" ALC), combines the usual acyclicity condition with a Markov condition; in this context, inference is equated with calculation of (bounds on) posterior probability in relational credal/Bayesian networks. As exact inference does not seem scalable due to the presence of quantifiers, we present first-order loopy propagation methods that seem to behave appropriately for non-trivial domain sizes. © 2008 Springer-Verlag.
AB - This paper introduces a probabilistic description logic that adds probabilistic inclusions to the popular logic ALC, and derives inference algorithms for inference in the logic. The probabilistic logic, referred to as crALC ("credal" ALC), combines the usual acyclicity condition with a Markov condition; in this context, inference is equated with calculation of (bounds on) posterior probability in relational credal/Bayesian networks. As exact inference does not seem scalable due to the presence of quantifiers, we present first-order loopy propagation methods that seem to behave appropriately for non-trivial domain sizes. © 2008 Springer-Verlag.
UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=77049110363&origin=inward
UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=77049110363&origin=inward
U2 - 10.1007/978-3-540-87993-0_11
DO - 10.1007/978-3-540-87993-0_11
M3 - Conference contribution
SN - 3540879927
SN - 9783540879923
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 120
EP - 133
BT - Loopy propagation in a probabilistic description logic
T2 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Y2 - 1 January 2018
ER -