Finite Entailment of UCRPQs over ALC Ontologies

no code implementations • 29 Apr 2022 • Vıctor Gutiérrez-Basulto, Albert Gutowski, Yazmın Ibáñez-Garcıa, Filip Murlak

We investigate the problem of finite entailment of ontology-mediated queries.

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

no code implementations • 22 Oct 2020 • Thomas Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak

We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles.

On Finite Entailment of Non-Local Queries in Description Logics

no code implementations • 30 Jun 2020 • Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak

We study the problem of finite entailment of ontology-mediated queries.

Finite Query Answering in Expressive Description Logics with Transitive Roles

no code implementations • 9 Aug 2018 • 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 the ontology are considered.