Overview
My main research interest is in knowledge computing, with special focus on knowledge representation, automated reasoning, representation learning, knowledge-aware data managment and knowledge-aware unstructured data processing. In particular, I have worked on
- Knowledge Graphs
- Ontological Reasoning
- Reasoning with Imperfect Data
- Knowledge-aware techniques for NLP and Data Managment
- Integration of Reasoning and Learning
Publication
2024
- Xiang, Z., Bienvenu, M., Cima, G., Gutierrez Basulto, V. and Ibanez Garcia, Y. 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 2024Proceedings 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., Gutowski, A., Ibanez Garcia, Y. A. and Murlak, F. 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 Presented at Agrawal, D. ed.Proceedings of the ACM on Management of Data. Association for Computing Machinery pp. 1-26., (10.1145/3651140)
- Zhou, X., He, J., Ke, Y., Zhu, G., Gutierrez Basulto, V. and Pan, J. Z. 2024. An empirical study on parameter-efficient fine-tuning for multimodal large language models. Presented at: 62nd Annual Meeting of the Association for Computational Linguistics (ACL 2024), Bangkok, Thailand, 11-16 August 2024.
- Yang, Y., He, J., Chen, P., Gutierrez Basulto, V. and Pan, J. Z. 2024. UniArk: Improving generalisation and consistency for factual knowledge extraction through debiasing. Presented at: 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Mexico City, Mexico, 16-21 June 2024.
- Akash Anil, A., Gutierrez Basulto, V., Ibanez Garcia, Y. and Schockaert, S. 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.
2023
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2023. HyperFormer: Enhancing entity and relation interaction for hyper-relational knowledge graph completion. Presented at: 32nd ACM International Conference on Information and Knowledge Management, Birmingham, UK, 21-25 October 2023.
- Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 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., 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)
- Chi Lok U, S., He, J., Gutierrez Basulto, V. and Pan, J. Z. 2023. Instances and labels: Hierarchy-aware joint supervised contrastive learning for hierarchical multi-label text classification. Presented at: 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore, 06 -10 December 2023.
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2023. Multi-view contrastive learning for entity typing over knowledge graphs. Presented at: 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore, 06 -10 December 2023.
- Bienvenu, M., Cima, G., Gutierrez Basulto, V. and Ibanez Garcia, Y. 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.
- He, J., Chi Lok U, S., Gutierrez Basulto, V. and Pan, J. Z. 2023. BUCA: A binary classification approach to unsupervised commonsense question answering. Presented at: 61st Annual Meeting of the Association for Computational Linguistics (ACL?23), Toronto, Canada, 9-14 July 2023.
- Bienvenu, M., Cima, G. and Gutierrez Basulto, V. 2023. REPLACE: A logical framework for combining collective entity resolution and repairing. Presented at: 32nd International Joint Conference on Artificial Intelligence, Macao, China, 19-25 August 2023.
2022
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2022. Transformer-based entity typing in knowledge graphs. Presented at: Conference on Empirical Methods in Natural Language Processing (EMNLP), Abu Dhabi, 07-11 December 2022Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics. pp. 5988-6001.
- Bouraoui, Z., Gutierrez Basulto, V. and Schockaert, S. 2022. Integrating ontologies and vector space embeddings using conceptual spaces. Presented at: International Research School in Artificial Intelligence in Bergen (AIB 2022), 7-11 June 2022The OpenAccess Series in Informatics, Vol. 99. Open Access Series in Informatics (OASIcs) Dagstuhl, Germany: Dagstuhl Publishing pp. 3:1-3:30., (10.4230/OASIcs.AIB.2022.3)
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, X., Li, R. and Pan, J. Z. 2022. Type-aware embeddings for multi-hop reasoning over knowledge graphs. Presented at: 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, 23-29 July 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.
- Bienvenu, M., Cima, G. and Gutierrez Basulto, V. 2022. LACE: A Logical Approach to Collective Entity resolution. Presented at: 41st ACM SIGMOD/PODS International Conference on Management of Data 2022, Philadelphia, PA, United States, 12-17 June 2022.
2021
- Schockaert, S. and Gutierrez Basulto, V. 2021. Modelling symbolic knowledge using neural representations. Presented at: Reasoning Web Summer School 2021, Leuven, Belgium, 8-15 September 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.
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.
- 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.
- 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. -.
- Tsamoura, E., Gutierrez Basulto, V. and Kimmig, A. 2020. Beyond the grounding bottleneck: Datalog techniques for inference in probabilistic logic programs. Presented at: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York City, NY, USA, 7-12 February 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. and Schockaert, S. 2018. From knowledge graph embedding to ontology embedding? An analysis of the compatibility between vector space representations and rules. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona, 27 Oct - 2 Nov 2018.
- Gutierrez Basulto, V., Jung, J. C. and Sabellek, L. 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018 Presented at Lang, J. ed.IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press
- 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. -.
- Gutierrez Basulto, V., Jung, J. C. and Kuzelka, O. 2018. Quantified Markov logic networks. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-18), Tempe, Arizona, USA, 30 October-2 November 2018International Conference on Principles of Knowledge Representation and Reasoning.
2017
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schröder, L. 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58, pp. 1-66. (10.1613/jair.5222)
- 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.
- Gutierrez Basulto, V., Ibanez-Garcia, Y. and Jung, J. C. 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.
- Gutierrez Basulto, V. and Jung, J. C. 2017. Combining DL-LiteNbool with branching time: a gentle marriage. Presented at: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August 2017Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Marina del Rey, Ca.: International Joint Conferences on Artificial Intelligence Organization pp. 1074-1080., (10.24963/ijcai.2017/149)
2016
- Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. Presented at: Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, NY, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press pp. 1102-1108.
- Klarman, S. and Gutierrez Basulto, V. 2016. Description logics of context. Journal of Logic and Computation 26(3), pp. 817-854. (10.1093/logcom/ext011)
- Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. On decidability and tractability of querying in temporal EL. Presented at: 29th International Workshop on Description Logics, Cape Town, South Africa, 22-25 April 2016.
- Gutierrez Basulto, V., Jung, J. C. and Ozaki, A. 2016. On metric temporal description logics. Presented at: 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, 29 August-2 September 2016 Presented at Kaminka, G. A. et al. eds.Frontiers in Artifical Intelligence and Applications, Vol. 285. Amsterdam: IOS Press pp. 837-845., (10.3233/978-1-61499-672-9-837)
2015
- Gutierrez Basulto, V., Ibanez-García, Y., Kontchakov, R. and Kostylev, E. V. 2015. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics 35(4), pp. 184-202. (10.1016/j.websem.2015.06.002)
- Gutierrez Basulto, V., Jung, J. C. and Schneider:, T. 2015. Lightweight temporal description logics with rigid roles and restricted TBoxes. Presented at: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
- Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2015. The complexity of temporal description logics with rigid roles and restricted TBoxes: in quest of saving a troublesome marriage. Presented at: 28th International Workshop on Description Logics, Athens, Greece, 7-10 June 2015.
2014
- Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications
2013
- Gutierrez Basulto, V., Ibanez-Garcia, Y., Kontchakov, R. and Kostylev, E. V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013 Presented at Faber, W. and Lembo, D. eds.Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer pp. 109-122., (10.1007/978-3-642-39666-3_9)
2012
- Gutierrez Basulto, V., Jung, J. C. and Lutz, C. 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012Frontiers in Artificial Intelligence and Applications, Vol. 242. IOS Press pp. 390-395., (10.3233/978-1-61499-098-7-390)
- Gutierrez Basulto, V., Ibanez-Garcia, Y. and Kontchakov, R. 2012. An update on query answering with restricted forms of negation. Presented at: 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 Sep 2012Web Reasoning and Rule Systems. pp. 75-89., (10.1007/978-3-642-33203-6_7)
- Gutierrez Basulto, V. and Klarman, S. 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer pp. 90-105., (10.1007/978-3-642-33203-6_8)
2011
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. A closer look at the probabilistic description logic prob-EL. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics for context-based semantic interoperability. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.
2010
- Klarman, S. and Gutierrez Basulto, V. 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, (10.1007/978-3-642-15675-5_19)
Articles
- 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)
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schröder, L. 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58, pp. 1-66. (10.1613/jair.5222)
- Klarman, S. and Gutierrez Basulto, V. 2016. Description logics of context. Journal of Logic and Computation 26(3), pp. 817-854. (10.1093/logcom/ext011)
- Gutierrez Basulto, V., Ibanez-García, Y., Kontchakov, R. and Kostylev, E. V. 2015. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics 35(4), pp. 184-202. (10.1016/j.websem.2015.06.002)
Conferences
- Xiang, Z., Bienvenu, M., Cima, G., Gutierrez Basulto, V. and Ibanez Garcia, Y. 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 2024Proceedings 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., Gutowski, A., Ibanez Garcia, Y. A. and Murlak, F. 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 Presented at Agrawal, D. ed.Proceedings of the ACM on Management of Data. Association for Computing Machinery pp. 1-26., (10.1145/3651140)
- Zhou, X., He, J., Ke, Y., Zhu, G., Gutierrez Basulto, V. and Pan, J. Z. 2024. An empirical study on parameter-efficient fine-tuning for multimodal large language models. Presented at: 62nd Annual Meeting of the Association for Computational Linguistics (ACL 2024), Bangkok, Thailand, 11-16 August 2024.
- Yang, Y., He, J., Chen, P., Gutierrez Basulto, V. and Pan, J. Z. 2024. UniArk: Improving generalisation and consistency for factual knowledge extraction through debiasing. Presented at: 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Mexico City, Mexico, 16-21 June 2024.
- Akash Anil, A., Gutierrez Basulto, V., Ibanez Garcia, Y. and Schockaert, S. 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.
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2023. HyperFormer: Enhancing entity and relation interaction for hyper-relational knowledge graph completion. Presented at: 32nd ACM International Conference on Information and Knowledge Management, Birmingham, UK, 21-25 October 2023.
- Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 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.
- Chi Lok U, S., He, J., Gutierrez Basulto, V. and Pan, J. Z. 2023. Instances and labels: Hierarchy-aware joint supervised contrastive learning for hierarchical multi-label text classification. Presented at: 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore, 06 -10 December 2023.
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2023. Multi-view contrastive learning for entity typing over knowledge graphs. Presented at: 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore, 06 -10 December 2023.
- Bienvenu, M., Cima, G., Gutierrez Basulto, V. and Ibanez Garcia, Y. 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.
- He, J., Chi Lok U, S., Gutierrez Basulto, V. and Pan, J. Z. 2023. BUCA: A binary classification approach to unsupervised commonsense question answering. Presented at: 61st Annual Meeting of the Association for Computational Linguistics (ACL?23), Toronto, Canada, 9-14 July 2023.
- Bienvenu, M., Cima, G. and Gutierrez Basulto, V. 2023. REPLACE: A logical framework for combining collective entity resolution and repairing. Presented at: 32nd International Joint Conference on Artificial Intelligence, Macao, China, 19-25 August 2023.
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2022. Transformer-based entity typing in knowledge graphs. Presented at: Conference on Empirical Methods in Natural Language Processing (EMNLP), Abu Dhabi, 07-11 December 2022Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics. pp. 5988-6001.
- Bouraoui, Z., Gutierrez Basulto, V. and Schockaert, S. 2022. Integrating ontologies and vector space embeddings using conceptual spaces. Presented at: International Research School in Artificial Intelligence in Bergen (AIB 2022), 7-11 June 2022The OpenAccess Series in Informatics, Vol. 99. Open Access Series in Informatics (OASIcs) Dagstuhl, Germany: Dagstuhl Publishing pp. 3:1-3:30., (10.4230/OASIcs.AIB.2022.3)
- Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, X., Li, R. and Pan, J. Z. 2022. Type-aware embeddings for multi-hop reasoning over knowledge graphs. Presented at: 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, 23-29 July 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.
- Bienvenu, M., Cima, G. and Gutierrez Basulto, V. 2022. LACE: A Logical Approach to Collective Entity resolution. Presented at: 41st ACM SIGMOD/PODS International Conference on Management of Data 2022, Philadelphia, PA, United States, 12-17 June 2022.
- Schockaert, S. and Gutierrez Basulto, V. 2021. Modelling symbolic knowledge using neural representations. Presented at: Reasoning Web Summer School 2021, Leuven, Belgium, 8-15 September 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.
- 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.
- 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.
- 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. -.
- Tsamoura, E., Gutierrez Basulto, V. and Kimmig, A. 2020. Beyond the grounding bottleneck: Datalog techniques for inference in probabilistic logic programs. Presented at: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York City, NY, USA, 7-12 February 2020.
- 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. -.
- Gutierrez Basulto, V. and Schockaert, S. 2018. From knowledge graph embedding to ontology embedding? An analysis of the compatibility between vector space representations and rules. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona, 27 Oct - 2 Nov 2018.
- Gutierrez Basulto, V., Jung, J. C. and Sabellek, L. 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018 Presented at Lang, J. ed.IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press
- 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. -.
- Gutierrez Basulto, V., Jung, J. C. and Kuzelka, O. 2018. Quantified Markov logic networks. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-18), Tempe, Arizona, USA, 30 October-2 November 2018International Conference on Principles of Knowledge Representation and Reasoning.
- 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.
- Gutierrez Basulto, V., Ibanez-Garcia, Y. and Jung, J. C. 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.
- Gutierrez Basulto, V. and Jung, J. C. 2017. Combining DL-LiteNbool with branching time: a gentle marriage. Presented at: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August 2017Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Marina del Rey, Ca.: International Joint Conferences on Artificial Intelligence Organization pp. 1074-1080., (10.24963/ijcai.2017/149)
- Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. Presented at: Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, NY, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press pp. 1102-1108.
- Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. On decidability and tractability of querying in temporal EL. Presented at: 29th International Workshop on Description Logics, Cape Town, South Africa, 22-25 April 2016.
- Gutierrez Basulto, V., Jung, J. C. and Ozaki, A. 2016. On metric temporal description logics. Presented at: 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, 29 August-2 September 2016 Presented at Kaminka, G. A. et al. eds.Frontiers in Artifical Intelligence and Applications, Vol. 285. Amsterdam: IOS Press pp. 837-845., (10.3233/978-1-61499-672-9-837)
- Gutierrez Basulto, V., Jung, J. C. and Schneider:, T. 2015. Lightweight temporal description logics with rigid roles and restricted TBoxes. Presented at: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
- Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2015. The complexity of temporal description logics with rigid roles and restricted TBoxes: in quest of saving a troublesome marriage. Presented at: 28th International Workshop on Description Logics, Athens, Greece, 7-10 June 2015.
- Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications
- Gutierrez Basulto, V., Ibanez-Garcia, Y., Kontchakov, R. and Kostylev, E. V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013 Presented at Faber, W. and Lembo, D. eds.Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer pp. 109-122., (10.1007/978-3-642-39666-3_9)
- Gutierrez Basulto, V., Jung, J. C. and Lutz, C. 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012Frontiers in Artificial Intelligence and Applications, Vol. 242. IOS Press pp. 390-395., (10.3233/978-1-61499-098-7-390)
- Gutierrez Basulto, V., Ibanez-Garcia, Y. and Kontchakov, R. 2012. An update on query answering with restricted forms of negation. Presented at: 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 Sep 2012Web Reasoning and Rule Systems. pp. 75-89., (10.1007/978-3-642-33203-6_7)
- Gutierrez Basulto, V. and Klarman, S. 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer pp. 90-105., (10.1007/978-3-642-33203-6_8)
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. A closer look at the probabilistic description logic prob-EL. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics for context-based semantic interoperability. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, (10.1007/978-3-642-15675-5_19)
- Gutierrez Basulto, V., Jung, J. C. and Sabellek, L. 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018 Presented at Lang, J. ed.IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press
- 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. -.
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schröder, L. 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58, pp. 1-66. (10.1613/jair.5222)
- 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.
- Gutierrez Basulto, V., Ibanez-Garcia, Y. and Jung, J. C. 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.
- Gutierrez Basulto, V. and Jung, J. C. 2017. Combining DL-LiteNbool with branching time: a gentle marriage. Presented at: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August 2017Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Marina del Rey, Ca.: International Joint Conferences on Artificial Intelligence Organization pp. 1074-1080., (10.24963/ijcai.2017/149)
- Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. Presented at: Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, NY, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press pp. 1102-1108.
- Klarman, S. and Gutierrez Basulto, V. 2016. Description logics of context. Journal of Logic and Computation 26(3), pp. 817-854. (10.1093/logcom/ext011)
- Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. On decidability and tractability of querying in temporal EL. Presented at: 29th International Workshop on Description Logics, Cape Town, South Africa, 22-25 April 2016.
- Gutierrez Basulto, V., Jung, J. C. and Ozaki, A. 2016. On metric temporal description logics. Presented at: 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, 29 August-2 September 2016 Presented at Kaminka, G. A. et al. eds.Frontiers in Artifical Intelligence and Applications, Vol. 285. Amsterdam: IOS Press pp. 837-845., (10.3233/978-1-61499-672-9-837)
- Gutierrez Basulto, V., Ibanez-García, Y., Kontchakov, R. and Kostylev, E. V. 2015. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics 35(4), pp. 184-202. (10.1016/j.websem.2015.06.002)
- Gutierrez Basulto, V., Jung, J. C. and Schneider:, T. 2015. Lightweight temporal description logics with rigid roles and restricted TBoxes. Presented at: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
- Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2015. The complexity of temporal description logics with rigid roles and restricted TBoxes: in quest of saving a troublesome marriage. Presented at: 28th International Workshop on Description Logics, Athens, Greece, 7-10 June 2015.
- Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications
- Gutierrez Basulto, V., Ibanez-Garcia, Y., Kontchakov, R. and Kostylev, E. V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013 Presented at Faber, W. and Lembo, D. eds.Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer pp. 109-122., (10.1007/978-3-642-39666-3_9)
- Gutierrez Basulto, V., Jung, J. C. and Lutz, C. 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012Frontiers in Artificial Intelligence and Applications, Vol. 242. IOS Press pp. 390-395., (10.3233/978-1-61499-098-7-390)
- Gutierrez Basulto, V., Ibanez-Garcia, Y. and Kontchakov, R. 2012. An update on query answering with restricted forms of negation. Presented at: 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 Sep 2012Web Reasoning and Rule Systems. pp. 75-89., (10.1007/978-3-642-33203-6_7)
- Gutierrez Basulto, V. and Klarman, S. 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer pp. 90-105., (10.1007/978-3-642-33203-6_8)
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. A closer look at the probabilistic description logic prob-EL. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics for context-based semantic interoperability. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
- Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.
- Klarman, S. and Gutierrez Basulto, V. 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, (10.1007/978-3-642-15675-5_19)
Research
Research Grants
- 2020-2022 A Unifying Quantitative Framework for Deduplication and Repairing Data in Ontology-Enhanced Systems PI Víctor Gutiérrez-Basulto, Meghyn Bienvenu (CNRS, Labri University of Bordeaux), funded by Royal Society.
- 2016-2019 EU's Horizon 2020 Marie Skłodowska-Curie COFUND grant within the Sêr Cymru II programme
- 2014-2016 M8 Early Career Postdoc grant within the German Government’s Excellence Initiative at the University of Bremen
2009-2013 DAAD-CONACYT PhD grant to carry out PhD studies at University of Bremen
Teaching
Programme Director MSc AI.
I teach and lead the following modules
- CMT304 Programming Paradigms, and
- CMT117 Knowledge Representation
Biography
Since November 2018 I am an academic in the School of Computer Science and Informatics. From November 2016 - October 2018, I was an EU's H2020 Marie Skłodowska-Curie Fellow within the Sêr Cymru II programme.
Before Cardiff
Before joining Cardiff University, I worked for two years as postdoctoral researcher at the University of Bremen in the Theory of Artificial Intelligence Group led by Carsten Lutz. From September 2013 to January 2014, I worked at the University of Liverpool as research assistant with Frank Wolter and Boris Konev.
In November 2013, I got my PhD at the University of Bremen under the supervision of Carsten Lutz. I obtained a MSc in Computational Logic from TU Dresden in 2009.
Honours and awards
- Best Student Paper Award at the 19th International Conference on Knowledge Representation and Reasoning (KR 2022), together with Albert Gutowski, Yazmín Ibáñez-García and Flip Murlak
- Best Paper Runner-Up at the 16th International Conference on Knowledge Representation and Reasoning (KR 2018), together with Steven Schockaert
- Best Student Paper Award at the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), together with Yazmín Ibáñez-García, Roman Kontchakov and Egor Kostylev
- Best Student Paper Award at the 20th European Conference on Artificial Intelligence (ECAI 2012), together with Jean Christoph Jung and Carsten Lutz
- Best Student Paper Award at the 24th International Workshop on Description Logics (DL 2011), together with Szymon Klarman
Committees and reviewing
Chairs
- Program co-Chair of the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)
- Sponsorship co-Chair of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
- Sponsorship co-Chair of the 33rd International Workshop on Description Logics (DL 2020)
Membership in PCs and other Reviewing Activities
- Senior PC of IJCAI 2021, IJCAI-PRICAI 2020
- Program Committee member of AAAI21, KR 2020, ECAI 2020, , AAAI 2020, TIME 2020, IJCAI 2019, AAAI 2019, IJCAI-ECAI 2018, KR 2018, DL 2018, ESWC 2017, DL 2017, RR 2016, DL 2016, RR 2015. DL 2015
- Reviewer for Artificial Intelligence Journal, Journal of Artificial Intelligence Research, Fuzzy Sets and Systems Journal, Special Issue “Ontologies and Data Management” of KI
Contact Details
+44 29208 76058
Abacws, Room Room 5.64, Senghennydd Road, Cathays, Cardiff, CF24 4AG