Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit


Slides: Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

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
  • 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: CfaedCPECInnoSaleSECAIScaDS.AIWikidata
  • 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}
}