Description logic rules - Krötzsch, Markus (AKA IOS Press, 2010)
Description based on print version record