Title: Reasoning on Data with Existential Rules

Speaker: Marie-Laure Mugnier


Existential rules are a knowledge representation language dedicated to reasoning on data. This syntactically simple yet powerful language overcomes limitations of both Datalog, the language of deductive databases, and prominent ontological languages like desription logics. After introducing existential rules and their salient properties, we will present the main paradigms to query knowledge graphs in this framework, whether these graphs are materialized or virtually defined from multiple data sources.



Marie-Laure Mugnier is a Professor in Computer Science at the University of Montpellier (France) and the scientific leader of a research group in knowledge representation and reasoning. Her current research focuses on graph-based and logic-based formalisms to do reasoning on data. She regularly publishes papers in the main international venues in artificial intelligence.