Description Logic Rules by Markus Krotzsch