שליחה במסרון: Tractable reasoning with bayesian description logics