Inference and Learning for Probabilistic Description Logics