Description logic rules - Krötzsch, Markus 1981- (AKA, 2010)