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.
%0 Journal Article
%1 Ivliev2023-mp
%A Ivliev, Alex
%A Ellmauthaler, Stefan
%A Gerlach, Lukas
%A Marx, Maximilian
%A Meißner, Matthias
%A Meusel, Simon
%A Krötzsch, Markus
%D 2023
%I arXiv
%K topic_knowledge topic_graph
%T Nemo: First glimpse of a new rule engine
%X 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.
@article{Ivliev2023-mp,
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.},
added-at = {2024-09-10T10:41:24.000+0200},
author = {Ivliev, Alex and Ellmauthaler, Stefan and Gerlach, Lukas and Marx, Maximilian and Mei{\ss}ner, Matthias and Meusel, Simon and Kr{\"o}tzsch, Markus},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/25794b58a39af519cdaef8b63d4aecf2b/scadsfct},
interhash = {49b2fa627fa00bdc31976837c26956d3},
intrahash = {5794b58a39af519cdaef8b63d4aecf2b},
keywords = {topic_knowledge topic_graph},
publisher = {arXiv},
timestamp = {2024-11-28T17:41:09.000+0100},
title = {Nemo: First glimpse of a new rule engine},
year = 2023
}