5 citations · 5 across the 1 of their papers we have counts for
6 papers
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Thomas Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García +2
We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for u…
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…
Ontology Focusing: Knowledge-enriched Databases on Demand
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín A. Ibáñez-García +3
We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process th…
All-Instances Restricted Chase Termination
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances termination:…
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…
On regular groups and fields
Tomasz Gogacz, Krzysztof Krupinski
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically close…