Y. Ren, J. Pan, and Y. Zhao, “Soundness Preserving Approximation for TBox Reasoning”, AAAI, vol. 24, no. 1, pp. 351–356, Jul. 2010.