Tableau reasoning for description logics and its extension to probabilities