Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

We present Nemo, a toolkit for rule-based reasoning and data processing that emphasises robustness and ease of use. Nemo’s core is a scalable and efficient main-memory reasoner that supports an expressive extension of Datalog with support for datatypes, existential rules, aggregates, and (stratified) negation. Built around this core is a versatile system of libraries and applications for interfacing with several data formats and programming languages, use as a progressive web application, and IDE integration. In this system description, we present this toolkit and discuss relevant application areas in rule-based knowledge representation, knowledge graph processing, and reasoner prototyping. Our evaluation on a range of tasks from these areas demonstrates Nemo’s robust performance in comparison to state-of-the-art rule engines.

Authors

• Alex Ivliev Knowledge-Based Systems Group, TU Dresden, Dresden, Germany
• Lukas Gerlach Knowledge-Based Systems Group, TU Dresden, Dresden, Germany
• Simon Meusel Knowledge-Based Systems Group, TU Dresden, Dresden, Germany
• Jakob Steinberg Knowledge-Based Systems Group, TU Dresden, Dresden, Germany
• Markus Krötzsch

Keywords

• Knowledge representation languages-General
• Ontologies and knowledge-enriched data management-General
• Reasoning in knowledge graphs-General
• Reasoning system implementations-General