Description logic rules by Markus Krötzsch | Menrva Books | MenrvaBooks