T. Gogacz, V. Gutierrez-Basulto, A. Gutowski, Y.A. Ibanez Garcia, F. Murlak: "On Finite Entailment of Non-Local Queries in Description Logics"; ArXiv, 2006 (2020), 16869; 25 pages.
https://arxiv.org/pdf/2006.16869.pdf