Dr Yazmín Ibáñez-García
Lecturer
School of Computer Science and Informatics
- ibanezgarciay@cardiff.ac.uk
- S /2.17B, Queen's Buildings - South Building, 5 The Parade, Newport Road, Cardiff, CF24 3AA
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.
Publications
2020
- 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, 8/06/2020 -12/06/2020. pp. -.
- 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.
- 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.
- Ibanez Garcia, Y., Ortiz, M. and Andresel, M. 2020. A framework for exploratory query answering with ontologies. Presented at: 33rd International Workshop on Description Logics 2020, Rhodes, Greece, 12-14 September 2020.
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. pp. -.
2018
- 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 2018Thirty-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 Presented at 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.
- 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.
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 Presented at 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.
Teaching
The subjects I am currently include:
- Principles of Machine Learning (module lead)
- Knowledge Representation (collaborator)
- Automated Reasoning (collaborator)