Pavel Klinov Pronto: A Non-monotonic Probabilistic Description Logic Reasoner. 822-826 2008 ESWC http://dx.doi.org/10.1007/978-3-540-68234-9_66 conf/esws/2008 db/conf/esws/eswc2008.html#Klinov08