Ren, Y.; Pan, J.; Zhao, Y. Soundness Preserving Approximation for TBox Reasoning. AAAI 2010, 24, 351-356.