Követés
Yazmin Angelica Ibañez-Garcia
Yazmin Angelica Ibañez-Garcia
Lecturer at Cardiff University
E-mail megerősítve itt: cardiff.ac.uk
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
602011
Queries with negation and inequalities over lightweight ontologies
V Gutiérrez-Basulto, Y Ibáñez-García, R Kontchakov, EV Kostylev
Journal of Web Semantics 35, 184-202, 2015
522015
Full satisfiability of UML class diagrams
A Artale, D Calvanese, A Ibáñez-García
International Conference on Conceptual Modeling, 317-331, 2010
392010
Finite model reasoning in horn description logics
YA Ibánez-Garcıa, C Lutz, T Schneider
Proc. KR 14, 2014
322014
Blend: A benchmark for llms on everyday knowledge in diverse cultures and languages
J Myung, N Lee, Y Zhou, J Jin, RA Putri, D Antypas, H Borkakoty, E Kim, ...
arXiv preprint arXiv:2406.09948, 2024
242024
Conjunctive queries with negation over DL-Lite: A closer look
V Gutiérrez-Basulto, Y Ibañez-García, R Kontchakov, EV Kostylev
Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013
242013
Finite query answering in expressive description logics with transitive roles
T Gogacz, Y Ibanez Garcia, F Murlak
AAAI Press, 2018
162018
Ontology focusing: Knowledge-enriched databases on demand
T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, F Murlak, M Ortiz, ...
ECAI 2020, 745-752, 2020
142020
On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles
T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung, F Murlak
arXiv preprint arXiv:2010.11503, 2020
132020
Answering regular path queries over SQ ontologies
V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
112018
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
112012
Plausible reasoning about EL-ontologies using concept interpolation
Y Ibáñez-García, V Gutiérrez-Basulto, S Schockaert
arXiv preprint arXiv:2006.14437, 2020
82020
Number restrictions on transitive roles in description logics with nominals
V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
82017
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
Answering regular path queries mediated by unrestricted SQ ontologies
V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung, F Murlak
Artificial Intelligence 314, 103808, 2023
62023
On finite entailment of non-local queries in description logics
T Gogacz, V Gutiérrez-Basulto, A Gutowski, Y Ibáñez-García, F Murlak
arXiv preprint arXiv:2006.16869, 2020
62020
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 (01), 2654-2661, 2019
62019
Inductive knowledge graph completion with GNNs and rules: an analysis
A Anil, V Gutiérrez-Basulto, Y Ibañéz-García, S Schockaert
arXiv preprint arXiv:2308.07942, 2023
52023
Finite entailment of UCRPQs over ALC ontologies
V Gutiérrez-Basulto, A Gutowski, Y Ibánez-Garcıa, F Murlak
arXiv preprint arXiv:2204.14261, 2022
42022
Combining global and local merges in logic-based entity resolution
M Bienvenu, G Cima, V Gutiérrez-Basulto, Y Ibáñez-García
arXiv preprint arXiv:2305.16926, 2023
32023
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20