On Finite Entailment of Non-Local Queries in Description Logics

Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski +2

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…