Thomas Lukasiewicz Umberto Straccia Description logic programs under probabilistic uncertainty and fuzzy vagueness. 837-853 2009 50 Int. J. Approx. Reasoning 6 http://dx.doi.org/10.1016/j.ijar.2009.03.004 db/journals/ijar/ijar50.html#LukasiewiczS09