A. Artale, J. C. Jung, A. Mazzullo, A. Ozaki, and F. Wolter, “Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions”, AAAI, vol. 35, no. 7, pp. 6193-6201, May 2021.