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.
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.
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.
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.