Practical Reasoning In Probabilistic Description Logic