Conférenciers invités

Exploring Large Language Models in Ontology Reasoning and Construction

Abstract:

Ontology is widely used for knowledge representation in many domains like biomedicine and e-commerce, but ontology construction is always challenging, relying on a lot of manual costs and expertise. Ontology reasoning can support ontology construction and its application, but classic symbolic methods suffer from problems like the failure to deal with uncertainty, incompleteness and informally represented data. Although machine learning and neural-symbolic integration have been widely explored, the emergence of Large Language Models, especially its emergent capabilities in natural language understanding and generation, have attracted many researchers’ attention for advancing ontology reasoning and construction. In this talk, I will focus on language model-based ontology representation learning for ontology reasoning and generative large language models (LLMs) for complex proofs in OWL ontology, and briefly introduce some other works on LLMs for ontology alignment and completion.

Bio:

Dr. Jiaoyan Chen is Senior Lecturer (~Associate Professor) in Department of Computer Science, The University of Manchester. Before joining The University of Manchester in 2022, he worked as a Senior Researcher in University of Oxford since 2017 and got his PhD in Computer Science and Technology in Zhejiang University. Jiaoyan’s research focuses on Knowledge Graph, Ontology, and Artificial Intelligence. His publications has got ~6000 citations according to Google Scholar, and his recent research on Ontology Embedding was awarded an EPSRC New Investigator Award. Home page: https://chenjiaoyan.github.io/.

Solenne Gaucher, CREST/École polytechnique

Matti Järvisalo is Professor of Computer Science (Algorithms and Machine Learning) at University of Helsinki, Finland, where he leads the Constraint Reasoning and Optimization group. His research interests span several areas in artificial intelligence, including automated reasoning and declarative programming, combinatorial optimization, knowledge representation and graphical models, with key contributions especially in theory and practice of Boolean satisfiability (SAT), SAT-based decision, combinatorial optimization and counting procedures, and their applications. His group has been successful in developing state-of-the-art solvers and tools e.g. for SAT, maximum satisfiability (MaxSAT), pseudo-Boolean optimization, formal argumentation, and answer set programming. With over 160 peer-reviewed publications to date, Dr. Järvisalo has received various best paper awards and other international recognitions for his contributions, including the IJCAI-JAIR Best Paper Award and an IJCAI Early Career Spotlight, as well as further best paper recognitions at ECAI, CP, KR, ICLP and PGM. In addition to organizing various workshops and conferences, he was PC Chair for SAT'13, IJCAI-PRICAI'20 Demo Track, KR'23 Applications and Systems Track, and KR'24 In the Wild Track, Chair of the Finnish AI Society (EurAI member society of Finland) 2019-2021, and has served on program committees of over 100 conferences. Today he serves on the editorial boards of Journal of Artificial Intelligence Research, Journal of Automated Reasoning, and Journal of Satisfiability, Boolean Modeling and Computation. Dr. Järvisalo has also been involved in organizing various automated reasoning competitions, including the renown SAT solver competitions and MaxSAT Evaluations for many years.

Nahla Ben amor, LARODEC, University of Tunis, Tunisie

Jaime Simão Sichman is a Full Professor of the Computer Engineering and Digital Systems Department (PCS) of Escola Politécnica (EP) at the Universidade de São Paulo (USP), Brazil. He has obtained both his B.E. and M.E. degrees in Electrical Enginnering from USP. He was one of the first students to obtain an European label to his PhD degree in Computer Engineering, developed at the Institut National Polytechnique de Grenoble (INPG), France, since part of his research was carried out at the Istituto di Psicologia del CNR, Rome, Italy. More recently, he has spent an abbreviated post-doctoral period at the University of Utrecht, at the Netherlands. His main research focus is multi-agent systems, more particularly in subjects like social reasoning, organizational reasoning, multi-agent-based simulation, reputation and trust, and interoperability in agent systems. He is co-director of the Laboratório de Técnicas Inteligentes (LTI) at USP, where he also held the position of director of the Electronic Computing Center (CCE) from 2010 to 2013. He has advised/co-advised 12 PhD, 20 MsC, and several undergraduate students. He has published more than 215 papers in national and international conferences and journals. He is member of the editorial board of the Journal of Artificial Societies and Social Simulation (JASSS), the Knowledge Engineering Review (KER), the International Journal on Agent-Oriented Software Engineering (IJAOSE), Computational and Mathematical Organization Theory (CMOT) and Autonomous Agents and Multi-Agent Systems (JAAMAS). He has organized several national and international conferences and workshops; in particular he was the SBIA/IBERAMIA General Chair (2000), Program Co-Chair (2006), and AAMAS Tutorial Chair (2007), Program Co-Chair (2009), Local Chair (2017) and Worskhop Co-Chair (2020). He was the coordinator of the Artificial Intelligence Special Interest Group (CEIA) of the Brazilian Computer Society (SBC), and was also a member of the Society’s Council. He is a member of the Board of Directors of the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). He was indicated as a Distinguished Speaker of the Association of Computing Machinery (ACM) in 2012.

Sylvain Lobry, LIPADE laboratory