Skip to main content
Victor Gutierrez Basulto

Dr Victor Gutierrez Basulto

Senior Lecturer

School of Computer Science and Informatics

+44 29208 76058
Abacws, Room Room 5.64, Senghennydd Road, Cathays, Cardiff, CF24 4AG


My research interests include knowledge representation & reasoningartificial intelligence | database theory, and more broadly, reasoning with background or commonsense knowledge. In particular, I work on

  • Reasoning in Ontology-Enriched Systems
  • Reasoning with Temporal or Probabilistic Knowledge
  • Integration of Reasoning and Learning
  • Plausible Reasoning with Ontologies




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









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




  • 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 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
  • 2009-2013 DAAD-CONACYT PhD grant to carry out PhD studies at University of Bremen


Programme Director  MSc AI.

I teach and  lead the following modules

  • CMT304 Programming Paradigms, and
  • CMT117 Knowledge Representation


Since November 2018 I am lecturer 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 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 24th International Workshop on Description Logics (DL 2011), together with Szymon Klarman

Committees and reviewing


Membership in PCs and other Reviewing Activities

  • Senior PC of IJCAI 2021, IJCAI-PRICAI 2020
  • Reviewer for Artificial Intelligence Journal, Journal of Artificial Intelligence Research, Fuzzy Sets and Systems Journal, Special Issue “Ontologies and Data Management” of KI