Modern Datalog: Concepts, Methods, Applications

Markus KrötzschMarkus Krötzsch

Markus Krötzsch
Modern Datalog: Concepts, Methods, Applications
In Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak, eds., Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. Dagstuhl Publishing

Details
Bibtex

KurzfassungAbstract
Pure Datalog is arguably the most fundamental rule language, elegant and simple, but also often too limited to be useful in practice. This has motivated the introduction of many new expressive features, ranging from datatypes and related functions, over aggregates and semi-ring generalisations, to existential quantifiers and complex terms. In spite of their variety, all these approaches remain true to the nature of Datalog as a direct, pattern-based way of computing on structured data. We therefore find that a modern notion of Datalog is emerging, distinctly different from other approaches of logic programming and with its own set of related methods and applications.

In this course, we introduce Datalog and its most common extensions, and explain when and how these features can be used together (which is often, but not always, safe to do). We further look at modern Datalog systems and some of their primary use cases. Hands-on work with Datalog and its extensions is done with the free Datalog engine Nemo. The course is accessible to all audiences and does not assume specific prior knowledge.
Projekt:Project: CPEC, SECAI, ScaDS.AI, Wikidata
Verknüpfte Tools:Related Tools: Nemo
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{K2025,
  author    = {Markus Kr{\"{o}}tzsch},
  title     = {Modern Datalog: Concepts, Methods, Applications},
  editor    = {Alessandro Artale and Meghyn Bienvenu and Yazm{\i}{\'}n
               Ib{\'{a}}{\~{n}}ez Garc{\i}{\'}a and Filip Murlak},
  booktitle = {Joint Proceedings of the 20th and 21st Reasoning Web Summer
               Schools (RW 2024 \& {RW} 2025)},
  series    = {OASIcs},
  volume    = {138},
  publisher = {Dagstuhl Publishing},
  year      = {2025},
  doi       = {10.4230/OASIcs.RW.2024/2025.7}
}