Sebastian Rudolph Markus Krötzsch Pascal Hitzler Michael Sintek Denny Vrandecic Efficient OWL Reasoning with Logic Programs - Evaluations. 370-373 2007 conf/rr/2007 RR http://dx.doi.org/10.1007/978-3-540-72982-2_34 db/conf/rr/rr2007.html#RudolphKHSV07