(1)
Jung, J. C.; Lutz, C.; Wolter, F. Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020, 34, 2854-2861.