# On Finite Entailment of Non-Local Queries in Description Logics

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 Jun 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 problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME-hard.