A Closer Look at the Probabilistic Description Logic Prob-EL