Conference , Publications / 09 June 2022 - London
Conference , Publications / 09 June 2022 - London
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 − 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.
Final Publication: https://arxiv.org/abs/2308.15897v1
Bibtex:
@inproceedings{IEGMMMK2023,
author = {Alex Ivliev and Stefan Ellmauthaler and Lukas Gerlach and
Maximilian Marx and Matthias Mei{\ss}ner and Simon Meusel and
Markus Kr{'{o}}tzsch},
title = {Nemo: First Glimpse of a New Rule Engine},
editor = {Enrico Pontelli and Stefania Costantini and Carmine Dodaro and
Sarah Gaggl and Roberta Calegari and Artur {D'Avila} Garcez and
Francesco Fabiano and Alessandra Mileo and Alessandra Russo and
Francesca Toni},
booktitle = {Proceedings 39th International Conference on Logic Programming
(ICLP 2023)},
series = {EPTCS},
volume = {385},
year = {2023},
month = {September},
pages = {333--335},
doi = {10.4204/EPTCS.385.35}
}