Optimized Description Logic Reasoning via Core Blocking - Glimm, B; Horrocks, I; Motik, B (2010)