Research and publications

The main publication on Nemo currently is:

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch. Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), volume 21 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning. PDF + bibtex

A shorter overview can be found here:

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch. Nemo: First Glimpse of a New Rule Engine. Proceedings of the 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333-335, September 2023. PDF + bibtex

List of publications that use Nemo:

Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch. EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization. Proceedings of the Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024. PDF + bibtex
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch. Verifying Datalog Reasoning with Lean. Proceedings of the 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of LIPIcs, 36:1-36:19, September 2025. PDF + bibtex
Markus Krötzsch. Modern Datalog: Concepts, Methods, Applications. Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. PDF + bibtex
Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez. Declarative Debugging for Datalog with Aggregation. Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), March 2026, to appear. PDF + bibtex
Alex Ivliev, Markus Krötzsch, Maximilian Marx. SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs. Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), LNCS, to appear. PDF + bibtex