Tractable Reasoning with Bayesian Description Logics