2 papers
cs.LO2022
Finite Entailment of UCRPQs over ALC Ontologies
Vıctor Gutiérrez-Basulto, Albert Gutowski, Yazmın Ibáñez-Garcıa +1
We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extend…
cs.AI2020
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…