23 citations · 31 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
We study query answering in the description logic supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a…
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…
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…