Zhao, Yizheng, Renate Schmidt, Yuejie Wang, Xuanming Zhang, and Hao Feng. “A Practical Approach to Forgetting in Description Logics With Nominals”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (April 3, 2020): 3073-3079. Accessed May 28, 2022. https://ojs.aaai.org/index.php/AAAI/article/view/5702.