Відправити по sms: Tractable reasoning with bayesian description logics