We study the problem of reasoning in the probabilistic Description Logic BEL. Using a novel structure, we show that probabilistic reasoning in this logic can be reduced in polynomial time to standard inferences over a Bayesian network. This reduction provides tight complexity bounds for probabilistic reasoning in BEL.
['Ismail Ilkan Ceylan', 'Rafael Peñaloza']
Reasoning in the description logic BEL using Bayesian networks