Yazmin Angelica Ibañez-Garcia
Yazmin Angelica Ibañez-Garcia
Research Associate at Cardiff University
Verified email at cardiff.ac.uk
TitleCited byYear
Query answering with DBoxes is hard
E Franconi, YA Ibáñez-García, I Seylan
Electronic Notes in Theoretical Computer Science 278, 71-84, 2011
432011
Full satisfiability of UML class diagrams
A Artale, D Calvanese, A Ibáñez-García
International Conference on Conceptual Modeling, 317-331, 2010
262010
Finite model reasoning in Horn description logics
YI García, C Lutz, T Schneider
Fourteenth International Conference on the Principles of Knowledge …, 2014
232014
Queries with negation and inequalities over lightweight ontologies
V Gutiérrez-Basulto, Y Ibáñez-García, R Kontchakov, EV Kostylev
Web Semantics: Science, Services and Agents on the World Wide Web 35, 184-202, 2015
222015
Conjunctive queries with negation over DL-Lite: A closer look
V Gutiérrez-Basulto, Y Ibañez-García, R Kontchakov, EV Kostylev
International Conference on Web Reasoning and Rule Systems, 109-122, 2013
192013
Checking full satisfiability of conceptual models
A Artale, D Calvanese, A Ibánez-Garcıa
23rd International Workshop on Description Logics DL2010, 55, 2010
82010
An update on query answering with restricted forms of negation
V Gutiérrez-Basulto, YA Ibáñez-García, R Kontchakov
International Conference on Web Reasoning and Rule Systems, 75-89, 2012
72012
Number restrictions on transitive roles in description logics with nominals
V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung
Thirty-First AAAI Conference on Artificial Intelligence, 2017
42017
Finite model reasoning in Horn-SHIQ
Y Ibanez-Garcıa, C Lutz, T Schneider
Proc. DL-13 1014, 234-245, 2013
42013
Finite query answering in expressive description logics with transitive roles
T Gogacz, YA Ibáñez-García, F Murlak
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
32018
Finite Model Reasoning in DL-Lite with Cardinality Constraints⋆
Y Ibánez-Garcıa
25th International Workshop on Description Logics, 213, 2012
32012
DL-Lite with attributes and sub-roles
A Artale, Y Ibáñez-García, R Kontchakov, V Ryzhikov
CEUR Workshop Proceedings, 2011
22011
Answering regular path queries over sq ontologies
V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
12018
On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
V Gutiérrez-Basulto, YA Ibáñez-García, JC Jung
Description Logics, 2017
12017
Queries with negation and inequality over lightweight ontologies
V Gutiérrez-Basulto, Y Ibanez-Garcia, R Kontchakov, EV Kostylev
Journal of Web Semantics, 2014
12014
Relaxing and Restraining Queries for OBDA
M Andreşel, Y Ibáñez-García, M Ortiz, M Šimkus
Proceedings of the AAAI Conference on Artificial Intelligence 33, 2654-2661, 2019
2019
Ontology Focusing: Knowledge-enriched Databases on Demand
T Gogacz, V Gutiérrez-Basulto, YA Ibáñez-García, F Murlak, M Ortiz, ...
arXiv preprint arXiv:1904.00195, 2019
2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles⋆
T Gogacz, V Gutiérrez-Basulto, Y Ibánez-Garcıa, JC Jung, F Murlak
Proc. of IJCAI-19, 2019
2019
Taming Complex Role Inclusions for DL-Lite.
M Andresel, YA Ibáñez-García, M Ortiz, M Simkus
Description Logics, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–19