Envoyer par SMS: Tractable reasoning with bayesian description logics