Description Logic Rules door Markus Krotzsch