Zhuang, Z., Z. Wang, K. Wang, and G. Qi. “Contraction and Revision over DL-Lite TBoxes”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.8868.