Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Aus International Center for Computational Logic
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
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., 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, 743-754, November 2024. IJCAI Organization
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., 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, 743-754, November 2024. IJCAI Organization
- 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},
editor = {Pierre Marquis and Magdalena Ortiz and Maurice Pagnucco},
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},
month = {November},
pages = {743-754},
doi = {https://doi.org/10.24963/kr.2024/70}
}