Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Alex IvlievAlex Ivliev, Lukas GerlachLukas Gerlach, Simon MeuselSimon Meusel, Jakob SteinbergJakob Steinberg, Markus KrötzschMarkus Krötzsch

Download

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), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Organization

Details
Bibtex

KurzfassungAbstract
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 data types, 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 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.
Projekt:Project: Cfaed, CPEC, InnoSale, SECAI, ScaDS.AI, Wikidata
Verknüpfte Tools:Related Tools: Nemo
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{IGMSK2024,
  author    = {Alex Ivliev and Lukas Gerlach and Simon Meusel and Jakob
               Steinberg and Markus Kr{\"{o}}tzsch},
  title     = {Nemo: Your Friendly and Versatile Rule Reasoning Toolkit},
  booktitle = {Proceedings of the 21st International Conference on Principles of
               Knowledge Representation and Reasoning (KR 2024)},
  series    = {Proceedings of the International Conference on Principles of
               Knowledge Representation and Reasoning},
  publisher = {IJCAI Organization},
  year      = {2024}
}