Nemo: First Glimpse of a New Rule Engine
Artificial Intelligence
2023-08-31 v1 Databases
Logic in Computer Science
Abstract
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled in a fully declarative Datalog dialect. Its scalability for these tasks matches or exceeds that of leading Datalog systems. We demonstrate uses in reasoning with knowledge graphs and ontologies with 10^5 to 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.
Cite
@article{arxiv.2308.15897,
title = {Nemo: First Glimpse of a New Rule Engine},
author = {Alex Ivliev and Stefan Ellmauthaler and Lukas Gerlach and Maximilian Marx and Matthias Meißner and Simon Meusel and Markus Krötzsch},
journal= {arXiv preprint arXiv:2308.15897},
year = {2023}
}
Comments
In Proceedings ICLP 2023, arXiv:2308.14898