On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics.

Pavel Klinov Bijan Parsia On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics. 138-149 2009 SUM http://dx.doi.org/10.1007/978-3-642-04388-8_12 conf/sum/2009 db/conf/sum/sum2009.html#KlinovP09