Jung, J. C., Lutz, C., & Wolter, F. (2020). Least General Generalizations in Description Logic: Verification and Existence. Proceedings of the AAAI Conference on Artificial Intelligence, 34(03), 2854-2861. https://doi.org/10.1609/aaai.v34i03.5675