Zhao, Yizheng, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, and Mohammad Khodadadi. 2019. “Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):3116-24. https://doi.org/10.1609/aaai.v33i01.33013116.