T. Gogacz, V. Gutierrez-Basulto, Y.A. Ibanez Garcia, J. Jung, F. Murlak: "On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles"; ArXiv, 2010 (2020), 11503; 13 pages.
https://arxiv.org/pdf/2010.11503.pdf