Y. Zhao, “Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach”, AAAI, vol. 33, no. 01, pp. 3116-3124, Jul. 2019.