Text this: Probabilistic Description Logic Programs