Artale, A.; Jung, J. C.; Mazzullo, A.; Ozaki, A.; Wolter, F. Living Without Beth and Craig: Definitions and Interpolants in Description Logics With Nominals and Role Inclusions. AAAI 2021, 35, 6193-6201.