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.
CITATION STYLE
Cozman, F. G., & Polastro, R. B. (2008). Loopy propagation in a probabilistic description logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5291 LNAI, pp. 120–133). https://doi.org/10.1007/978-3-540-87993-0_11
Mendeley helps you to discover research relevant for your work.