![Yazmin Ibanez Garcia](https://profiles-cardiff.imgix.net/attachments/1578?w=200&h=200&auto=format&crop=faces&fit=crop&q=90")
Dr Yazmin Ibanez Garcia
- Available for postgraduate supervision
Teams and roles for Yazmin Ibanez Garcia
Lecturer, Director of Equality, Diversity & Inclusion
Overview
I joined the School of Computer Science and Informatics as a Lecturer in December 2019. My research interests include Artificial Intelligence, Knowledge Representation and Reasoning, and Description Logics.
Publication
2025
- Bienvenu, M. et al., 2025. Recent advances in logic-based entity resolution. SIGMOD record 54 (3), pp.7-21. (10.1145/3774303.3774305)
- 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)
2024
- 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. 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)
- 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)
2023
- 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. 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.
- 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)
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. 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)
- 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.
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.
- 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. 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.-.
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)
Conferences
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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. 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.
- 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.
- 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)
- 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.-.
- 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. , 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)
- 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.
- 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)
- 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.
- 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)
Teaching
The subjects I am currently 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
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