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

arXiv: https://arxiv.org/abs/2010.11503 · HTML: https://mlsanity.com/paper/2010.11503/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 22 Oct 2020.

## Built on by (most cited first, 1 of 1)

- [Finite Entailment of UCRPQs over ALC Ontologies](https://mlsanity.com/paper/2204.14261/) (2022)

## Abstract (arXiv)

We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for unrestricted entailment of regular path queries for both extensions and finite entailment of positive existential queries for nominals. For inverses, we establish 2EXPTIME-completeness for unrestricted and finite entailment of instance queries (the latter under restriction to a single, transitive role).