Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Abstract

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 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.

Details

Original languageEnglish
Title of host publicationProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
EditorsPierre Marquis, Magdalena Ortiz, Maurice Pagnucco
PublisherIJCAI Organization
Pages743–754
Number of pages12
ISBN (print)978-1-956792-05-8
Publication statusPublished - Nov 2024
Peer-reviewedYes

External IDs

Mendeley 6094d583-fdbd-3a56-8e42-59b8ece07331
ORCID /0000-0002-1604-6308/work/196678327