Jochen Heinsohn Probabilistic Description Logics. 311-318 1994 conf/uai/1994 UAI http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=518&proceedingID=10 db/conf/uai/uai1994.html#Heinsohn94