Description logic rules - Krötzsch, Markus. (IOS Press ;)