Dr Yazmín Ibáñez-García

2023

• Gutierrez Basulto, V., Ibanez Garcia, Y., Jung, J. C. and Murlak, F. 2023. Answering regular path queries mediated by unrestricted SQ ontologies. Artificial Intelligence 314, article number: 103808. (10.1016/j.artint.2022.103808)

2022

• Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 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 - 05 August 2022.

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.
• 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

• Gogacz, T., Gutierrez Basulto, V., Ibanez Garcia, Y., Murlak, F., Ortiz, M. and Simkus, M. 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., Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 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., Gutierrez Basulto, V., Ibanez Garcia, Y., Jung, J. C. and Murlak, F. 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. -.
• Andresel, M., Ibanez Garcia, Y., Ortiz, M. and Simkus, M. 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 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.

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., Mossakowski, T., Sannella, D. and Tarlecki, A. 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.