![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
(she/her)
- Available for postgraduate supervision
Teams and roles for Yazmin Ibanez Garcia
Senior Lecturer
Overview
I am an expert in Artificial Intelligence, specifically specialising in Knowledge Representation, Learning, and Reasoning. My academic journey has taken me from the Universidad Autónoma de México to the Vienna University of Technology, and finally to Cardiff University, where I have served as a Lecturer since 2019. My work is driven by a desire to bridge the gap between rigorous formal logic and the practical, data-driven needs of modern AI systems.
Publication
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.
Articles
- 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)
Book sections
- 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)
Books
- 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)
Conferences
- 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.
Research
My research lies at the intersection of logic, data management, and machine learning.
My areas of expertise include:
-
Description Logics (DL): Investigating the complexity and expressivity of various logic families for ontologies.
-
Knowledge Representation and Reasoning: Developing formal frameworks for capturing and reasoning with complex symbolic knowledge.
-
Ontology-Enriched Systems: Enhancing databases with domain knowledge to improve query answering and data quality.
-
Entity Resolution (ER): Working on logic-based frameworks (such as the ASPEN system) for identifying and merging duplicate entities across datasets.
-
Neuro-symbolic AI: Exploring the integration of symbolic reasoning with machine learning architectures, including Knowledge Graph embeddings and Large Language Models (LLMs).
Teaching
The subjects I've taught include:
- Principles of Machine Learning (module lead)
- Knowledge Representation (collaborator)
- Automated Reasoning (collaborator)
Biography
Academic positions
| since 12/2019 | Lecturer School of Computer Science & Informatics |
01/2019 - 11/2019 | Research Associate School 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), |
Committees and reviewing
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)
Supervisions
I am interested in supervising PhD students in the areas of:
- Integration of Reasoning and Learning
- Ontology-enriched Systems
- Logic-based knowledge representation
Current supervision
Contact Details
[email protected]
+44 29208 75533
Abacws, Room Room 5.61, Senghennydd Road, Cathays, Cardiff, CF24 4AG
+44 29208 75533
Abacws, Room Room 5.61, Senghennydd Road, Cathays, Cardiff, CF24 4AG
Research themes
Specialisms
- Artificial intelligence
- Knowledge representation and reasoning
- Data management