Stav dette: Probabilistic Description Logic Programs