On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

Open in new window