Markus Krötzsch Sebastian Rudolph Pascal Hitzler On the Complexity of Horn Description Logics. 2006 OWLED http://ceur-ws.org/Vol-216/submission_20.pdf conf/owled/2006 db/conf/owled/owled2006.html#KrotzschRH06