Z. Zhuang, Z. Wang, K. Wang, and G. Qi, “Contraction and Revision over DL-Lite TBoxes”, AAAI, vol. 28, no. 1, Jun. 2014.