Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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 language | English |
|---|---|
| Title of host publication | Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) |
| Editors | Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco |
| Publisher | IJCAI Organization |
| Pages | 743–754 |
| Number of pages | 12 |
| ISBN (print) | 978-1-956792-05-8 |
| Publication status | Published - Nov 2024 |
| Peer-reviewed | Yes |
External IDs
| Mendeley | 6094d583-fdbd-3a56-8e42-59b8ece07331 |
|---|---|
| ORCID | /0000-0002-1604-6308/work/196678327 |