Description logic rules - Krötzsch, Markus (Studies on the Semantic Web, 2010)