Pošalji tekstualnu poruku: Tractable reasoning with bayesian description logics