[1]
J. C. Jung, C. Lutz, and F. Wolter, “Least General Generalizations in Description Logic: Verification and Existence”, AAAI, vol. 34, no. 03, pp. 2854-2861, Apr. 2020.