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.