5 citations · 5 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2018
Finite Query Answering in Expressive Description Logics with Transitive Roles
Tomasz Gogacz, Yazmin Ibáñez-García, Filip Murlak
We study the problem of finite ontology mediated query answering (FOMQA), the variant of OMQA where the represented world is assumed to be finite, and thus only finite models of th…