この資料をSMS送信: Tractable reasoning with bayesian description logics