A Framework for Reasoning on Probabilistic Description Logics