Anfonwch hwn fel neges destun: Tractable reasoning with bayesian description logics