Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6193-6201. https://doi.org/10.1609/aaai.v35i7.16770