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