TY  - RPRT
TI  - On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
AU  - Thomas Gogacz
AU  - Víctor Gutiérrez-Basulto
AU  - Yazmín Ibáñez-García
AU  - Jean Christoph Jung
AU  - Filip Murlak
PY  - 2020
UR  - https://arxiv.org/abs/2010.11503
ID  - 2010.11503
ER  -