Enviar aquest missatge de text: Tractable reasoning with bayesian description logics