Jochen Heinsohn A Probabilistic Extension for Terminological Logics. 51-55 1991 Description Logics db/conf/dlog/dlog91.html#Heinsohn91