發送短信: Tractable reasoning with bayesian description logics