V. Gutiérrez-Basulto, Y. Ibáñez-García, and J. C. Jung, “Number Restrictions on Transitive Roles in Description Logics with Nominals”, AAAI, vol. 31, no. 1, Feb. 2017.