Văn bản này: Tractable reasoning with bayesian description logics