5 citations · 5 across the 4 of their papers we have counts for
7 papers
Revisiting Conjunctive Query Entailment for
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini +1
We clarify the complexity of answering unions of conjunctive queries over knowledge bases formulated in the description logic , the extension of with tr…
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…
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…