![Yazmin Ibanez Garcia](https://profiles-cardiff.imgix.net/attachments/10324?w=200&h=200&auto=format&crop=faces&fit=crop&q=90")
Dr Yazmin Ibanez Garcia
(hi/ei)
- Ar gael fel goruchwyliwr ôl-raddedig
Timau a rolau for Yazmin Ibanez Garcia
Uwch Ddarlithydd
Trosolwyg
Rwy'n arbenigwr mewn Deallusrwydd Artiffisial, yn arbenigo yn benodol mewn Cynrychiolaeth Gwybodaeth, Dysgu a Rhesymu. Mae fy nhaith academaidd wedi mynd â mi o'r Universidad Autónoma de México i Brifysgol Technoleg Fienna, ac yn olaf i Brifysgol Caerdydd, lle rwyf wedi gwasanaethu fel Darlithydd ers 2019 . Mae fy ngwaith yn cael ei yrru gan awydd i bontio'r bwlch rhwng rhesymeg ffurfiol drylwyr ac anghenion ymarferol, data-driven systemau AI modern.
Cyhoeddiad
2026
- Ibanez Garcia, Y. et al. 2026. Revisiting conjunctive query entailment for S. Presented at: 40th AAAI Conference on Artificial Intelligence Singapore 20-27 January 2026. Published in: Koeing, S. , Jenkins, C. and Taylor, M. E. eds. Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40.Vol. 23. Washington, DC, USA: Association for the Advancement of Artificial Intelligence. , pp.19152-19159. (10.1609/aaai.v40i23.38989)
2025
- Xiang, Z. et al. 2025. Advances in logic-based entity resolution: enhancing ASPEN with local merges and optimality criteria. Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning Melbourne, Australia November 11-17 2025. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. , pp.659-669. (10.24963/kr.2025/64)
- Artale, A. et al., 2025. Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools. Open Access Series in Informatics (OASIcs) Schloss Dagstuhl – Leibniz-Zentrum für Informatik. (10.4230/OASIcs.RW.2024/2025.0)
- Bienvenu, M. et al., 2025. Recent advances in logic-based entity resolution. SIGMOD record 54 (3), pp.7-21. (10.1145/3774303.3774305)
2024
- Xiang, Z. et al. 2024. ASPEN: ASP-Based system for collective entity resolution. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning Hanoi, Vietnam 2 - 8 November 2024. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild. IJCAI Organization. , pp.788-799. (10.24963/kr.2024/74)
- Gutierrez Basulto, V. et al. 2024. Containment of graph queries modulo schema. Presented at: 2024 ACM SIGMOD/PODS International Conference on Management of Data Santiago, Chile 9-14 June 2024. Published in: Agrawal, D. ed. Proceedings of the ACM on Management of Data. Association for Computing Machinery. , pp.1-26. (10.1145/3651140)
- Akash Anil, A. et al. 2024. Inductive knowledge graph completion with GNNs and rules: An analysis. Presented at: 2024 Joint International Conference On Computational Linguistics, Language Resources And Evaluation (LREC-COLING 2024) Turin, Italy 20-25 May 2024. Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. ELRA and ICCL. , pp.9036-9049.
2023
- Gutierrez Basulto, V. et al. 2023. Finite entailment of UCRPQs over ALC ontologies (Extended Abstract). Presented at: 32nd International Joint Conference on Artificial Intelligence Macao, China 19-25 August 2023. Published in: Elkind, E. ed. IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. ACM. , pp.6442-6446. (10.24963/ijcai.2023/717)
- Gutierrez Basulto, V. et al. 2023. Answering regular path queries mediated by unrestricted SQ ontologies. Artificial Intelligence 314 103808. (10.1016/j.artint.2022.103808)
- Bienvenu, M. et al., 2023. Combining global and local merges in logic-based entity resolution. Presented at: 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) Rhodes, Greece 2-8 September 2023. Published in: Marquis, P. , Son, T. C. and Kern-Isberner, G. eds. Proceedings of the International Conference on Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence. , pp.742-746.
2022
- Gutierrez Basulto, V. et al. 2022. Finite entailment of UCRPQs over ALC Ontologies. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Haifa, Israel 31 July - 5 August 2022. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence. , pp.184-194.
2021
- Schockaert, S. , Ibanez Garcia, Y. and Gutierrez Basulto, V. 2021. Modelling concept interpolation in description logics using abstract betweenness relations. Presented at: 34th International Workshop on Description Logics (DL 2021) Bratislava, Slovakia 19-22 September 2021.
- Schockaert, S. , Ibanez Garcia, Y. and Gutierrez Basulto, V. 2021. A description logic for analogical reasoning. Presented at: 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) Virtual 21-26 August 2021. Published in: Zhou, Z. ed. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization. , pp.2040-2046. (10.24963/ijcai.2021/281)
2020
- Andresel, M. , Ibanez Garcia, Y. and Ortiz, M. 2020. A framework for exploratory query answering with ontologies. Presented at: 33rd International Workshop on Description Logics 2020 Virtual / Rhodes, Greece 12-14 September 2020. Published in: Borgwardt, S. and Meyer, T. eds. CEUR Workshop Proceedings. Vol. 2663.CEUR-WS.
- Gogacz, T. et al., 2020. On finite entailment of non-local queries in description logics. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Rhodes, Greece 12-18 September 2020. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI. , pp.423-432.
- Gogacz, T. et al., 2020. Ontology focusing: knowledge-enriched databases on demand. Presented at: 24th European Conference on Artificial Intelligence (ECAI 2020) Santiago de Compostela, Spain 29 August - 8 September 2020. Proceedings of the 24th European Conference on Artificial Intelligence. Vol. 325.Frontiers in Artificial Intelligence and Applications IOS Press. , pp.745-752. (10.3233/FAIA200162)
- Ibanez Garcia, Y. , Gutierrez Basulto, V. and Schockaert, S. 2020. Plausible reasoning about EL-Ontologies using concept interpolation. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Rhodes, Greece 12-18 September 2020. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. , pp.506-516. (10.24963/kr.2020/51)
2019
- Gogacz, T. et al., 2019. On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles. Presented at: 28th International Joint Conference on Artificial Intelligence (IJCAI-19) Macao, China 10-16 August 2019. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. , pp.1719-1725. (10.24963/ijcai.2019/238)
2018
- Andresel, M. et al., 2018. Relaxing and restraining queries for OBDA [extended abstract]. Presented at: 16th International Conference on the Principles of Knowledge Representation and Reasoning Tempe, Arizona, USA 20 October - 2 November 2018. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018). Association for the Advancement of Artificial Intelligence. , pp.617-618.
- Gutierrez Basulto, V. , Ibanez Garcia, Y. and Jung, J. C. 2018. Answering regular path queries over SQ ontologies. Presented at: Thirty-Second AAAI Conference on Artificial Intelligence New Orleans, LA, USA 2-7 February 2018. Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Publications. , pp.-.
- Gogacz, T. , Ibanez Garcia, Y. and Murlak, F. 2018. Finite query answering in expressive description logics with transitive roles. Presented at: 16th International Conference on the Principles of Knowledge Representation and Reasoning Tempe, Arizona, USA 27 October - 2 November 2018. Published in: Thielscher, M. , Toni, F. and Wolter, F. eds. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Palo Alto, California: AAAI Press. , pp.369-378.
2017
- Gutierrez Basulto, V. , Ibanez Garcia, Y. and Jung, J. C. 2017. Number restrictions on transitive roles in description logics with nominals. Presented at: Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017 San Francisco, California, USA 4-9 Feb 2017.
2015
- Ibanez, Y. A. et al. 2015. Modularity of ontologies in an arbitrary institution. In: Logic, Rewriting, and Concurrency. Vol. 9200, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues Springer Verlag(10.1007/978-3-319-23165-5_17)
2014
- Ibanez Garcia, Y. , Lutz, C. and Schneider, T. 2014. Finite model reasoning in horn description logics. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria 20-24 July 2014. Published in: Baral, C. , De Giacomo, G. and Eiter, T. eds. KR'14: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press. , pp.288-297.
Adrannau llyfrau
- Ibanez, Y. A. et al. 2015. Modularity of ontologies in an arbitrary institution. In: Logic, Rewriting, and Concurrency. Vol. 9200, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues Springer Verlag(10.1007/978-3-319-23165-5_17)
Cynadleddau
- Ibanez Garcia, Y. et al. 2026. Revisiting conjunctive query entailment for S. Presented at: 40th AAAI Conference on Artificial Intelligence Singapore 20-27 January 2026. Published in: Koeing, S. , Jenkins, C. and Taylor, M. E. eds. Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40.Vol. 23. Washington, DC, USA: Association for the Advancement of Artificial Intelligence. , pp.19152-19159. (10.1609/aaai.v40i23.38989)
- Xiang, Z. et al. 2025. Advances in logic-based entity resolution: enhancing ASPEN with local merges and optimality criteria. Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning Melbourne, Australia November 11-17 2025. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. , pp.659-669. (10.24963/kr.2025/64)
- Xiang, Z. et al. 2024. ASPEN: ASP-Based system for collective entity resolution. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning Hanoi, Vietnam 2 - 8 November 2024. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild. IJCAI Organization. , pp.788-799. (10.24963/kr.2024/74)
- Gutierrez Basulto, V. et al. 2024. Containment of graph queries modulo schema. Presented at: 2024 ACM SIGMOD/PODS International Conference on Management of Data Santiago, Chile 9-14 June 2024. Published in: Agrawal, D. ed. Proceedings of the ACM on Management of Data. Association for Computing Machinery. , pp.1-26. (10.1145/3651140)
- Akash Anil, A. et al. 2024. Inductive knowledge graph completion with GNNs and rules: An analysis. Presented at: 2024 Joint International Conference On Computational Linguistics, Language Resources And Evaluation (LREC-COLING 2024) Turin, Italy 20-25 May 2024. Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. ELRA and ICCL. , pp.9036-9049.
- Gutierrez Basulto, V. et al. 2023. Finite entailment of UCRPQs over ALC ontologies (Extended Abstract). Presented at: 32nd International Joint Conference on Artificial Intelligence Macao, China 19-25 August 2023. Published in: Elkind, E. ed. IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. ACM. , pp.6442-6446. (10.24963/ijcai.2023/717)
- Bienvenu, M. et al., 2023. Combining global and local merges in logic-based entity resolution. Presented at: 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) Rhodes, Greece 2-8 September 2023. Published in: Marquis, P. , Son, T. C. and Kern-Isberner, G. eds. Proceedings of the International Conference on Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence. , pp.742-746.
- Gutierrez Basulto, V. et al. 2022. Finite entailment of UCRPQs over ALC Ontologies. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Haifa, Israel 31 July - 5 August 2022. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence. , pp.184-194.
- Schockaert, S. , Ibanez Garcia, Y. and Gutierrez Basulto, V. 2021. Modelling concept interpolation in description logics using abstract betweenness relations. Presented at: 34th International Workshop on Description Logics (DL 2021) Bratislava, Slovakia 19-22 September 2021.
- Schockaert, S. , Ibanez Garcia, Y. and Gutierrez Basulto, V. 2021. A description logic for analogical reasoning. Presented at: 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) Virtual 21-26 August 2021. Published in: Zhou, Z. ed. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization. , pp.2040-2046. (10.24963/ijcai.2021/281)
- Andresel, M. , Ibanez Garcia, Y. and Ortiz, M. 2020. A framework for exploratory query answering with ontologies. Presented at: 33rd International Workshop on Description Logics 2020 Virtual / Rhodes, Greece 12-14 September 2020. Published in: Borgwardt, S. and Meyer, T. eds. CEUR Workshop Proceedings. Vol. 2663.CEUR-WS.
- Gogacz, T. et al., 2020. On finite entailment of non-local queries in description logics. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Rhodes, Greece 12-18 September 2020. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI. , pp.423-432.
- Gogacz, T. et al., 2020. Ontology focusing: knowledge-enriched databases on demand. Presented at: 24th European Conference on Artificial Intelligence (ECAI 2020) Santiago de Compostela, Spain 29 August - 8 September 2020. Proceedings of the 24th European Conference on Artificial Intelligence. Vol. 325.Frontiers in Artificial Intelligence and Applications IOS Press. , pp.745-752. (10.3233/FAIA200162)
- Ibanez Garcia, Y. , Gutierrez Basulto, V. and Schockaert, S. 2020. Plausible reasoning about EL-Ontologies using concept interpolation. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Rhodes, Greece 12-18 September 2020. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. , pp.506-516. (10.24963/kr.2020/51)
- Gogacz, T. et al., 2019. On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles. Presented at: 28th International Joint Conference on Artificial Intelligence (IJCAI-19) Macao, China 10-16 August 2019. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. , pp.1719-1725. (10.24963/ijcai.2019/238)
- Andresel, M. et al., 2018. Relaxing and restraining queries for OBDA [extended abstract]. Presented at: 16th International Conference on the Principles of Knowledge Representation and Reasoning Tempe, Arizona, USA 20 October - 2 November 2018. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018). Association for the Advancement of Artificial Intelligence. , pp.617-618.
- Gutierrez Basulto, V. , Ibanez Garcia, Y. and Jung, J. C. 2018. Answering regular path queries over SQ ontologies. Presented at: Thirty-Second AAAI Conference on Artificial Intelligence New Orleans, LA, USA 2-7 February 2018. Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Publications. , pp.-.
- Gogacz, T. , Ibanez Garcia, Y. and Murlak, F. 2018. Finite query answering in expressive description logics with transitive roles. Presented at: 16th International Conference on the Principles of Knowledge Representation and Reasoning Tempe, Arizona, USA 27 October - 2 November 2018. Published in: Thielscher, M. , Toni, F. and Wolter, F. eds. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Palo Alto, California: AAAI Press. , pp.369-378.
- Gutierrez Basulto, V. , Ibanez Garcia, Y. and Jung, J. C. 2017. Number restrictions on transitive roles in description logics with nominals. Presented at: Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017 San Francisco, California, USA 4-9 Feb 2017.
- Ibanez Garcia, Y. , Lutz, C. and Schneider, T. 2014. Finite model reasoning in horn description logics. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria 20-24 July 2014. Published in: Baral, C. , De Giacomo, G. and Eiter, T. eds. KR'14: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press. , pp.288-297.
Erthyglau
- Bienvenu, M. et al., 2025. Recent advances in logic-based entity resolution. SIGMOD record 54 (3), pp.7-21. (10.1145/3774303.3774305)
- Gutierrez Basulto, V. et al. 2023. Answering regular path queries mediated by unrestricted SQ ontologies. Artificial Intelligence 314 103808. (10.1016/j.artint.2022.103808)
Llyfrau
- Artale, A. et al., 2025. Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools. Open Access Series in Informatics (OASIcs) Schloss Dagstuhl – Leibniz-Zentrum für Informatik. (10.4230/OASIcs.RW.2024/2025.0)
Ymchwil
Mae fy ymchwil yn gorwedd ar groesffordd rhesymeg, rheoli data, a dysgu peiriannau.
Mae fy meysydd arbenigedd yn cynnwys:
-
Disgrifiad Rhesymeg (DL): Ymchwilio i gymhlethdod a mynegiant gwahanol deuluoedd rhesymeg ar gyfer ontolegau.
-
Cynrychiolaeth a Rhesymu Gwybodaeth: Datblygu fframweithiau ffurfiol ar gyfer cipio a rhesymu gyda gwybodaeth symbolaidd gymhleth.
-
Systemau wedi'u Cyfoethogi gan Ontoleg: Gwella cronfeydd data gyda gwybodaeth parth i wella ateb ymholiadau ac ansawdd data.
-
Datrys Endid (ER): Gweithio ar fframweithiau sy'n seiliedig ar resymeg (fel y system ASPEN) ar gyfer adnabod a chyfuno endidau dyblyg ar draws setiau data.
-
AI niwro-symbolaidd: Archwilio integreiddio rhesymu symbolaidd â phensaernïaethau dysgu peiriannau, gan gynnwys ymgorfforiadau Graff Gwybodaeth a Modelau Iaith Mawr (LLMs).
Addysgu
Mae'r pynciau rydw i wedi'u dysgu yn cynnwys:
- Egwyddorion Dysgu Peirianyddol (arweinydd modiwl)
- Cynrychiolaeth Gwybodaeth (cydweithiwr)
- Rhesymu Awtomataidd (cydweithiwr)
Bywgraffiad
Safleoedd academaidd blaenorol
| since 12/2019 | Lecturer School of Computer Science & Informatics |
01/2019 - 11/2019 | Research AssociateSchool of Computer Science & Informatics |
02/2016 – 12/2018 | University Assistant (Postdoctoral Researcher)Institute of Logic and Computation, |
01/2015– 04/2015 | Research Assistant (Postdoctoral Researcher)Theory of Artificial Intelligence Group (TdKI), |
Pwyllgorau ac adolygu
Program Committee member for the following conferences:
International Joint Conference on Artificial Intelligence (IJCAI)
International Conference on Principles of Knowledge Representation and Reasoning (KR)
International Semantic Web Conference (ISWC)
The Web Conference – Web Content Analysis, Semantics, and Knowledge (WWW)
International Workshop on Description Logics (DL)
European Semantic Web Conference (ESWC)
International Conference on Web Reasoning and Rule Systems (RR)
Meysydd goruchwyliaeth
I am interested in supervising PhD students in the areas of:
- Integration of Reasoning and Learning
- Ontology-enriched Systems
- Logic-based knowledge representation
Goruchwyliaeth gyfredol
Contact Details
[email protected]
+44 29208 75533
Abacws, Ystafell Room 5.61, Ffordd Senghennydd, Cathays, Caerdydd, CF24 4AG
+44 29208 75533
Abacws, Ystafell Room 5.61, Ffordd Senghennydd, Cathays, Caerdydd, CF24 4AG
Themâu ymchwil
Arbenigeddau
- Deallusrwydd artiffisial
- Cynrychiolaeth a rhesymu gwybodaeth
- Rheoli data