Үүнийг мессежээр илгээх: Tractable reasoning with bayesian description logics