Nemo: First Glimpse of a New Rule Engine

Alex Ivliev; Stefan Ellmauthaler; Lukas Gerlach; Maximilian Marx; Matthias Meißner; Simon Meusel; Markus Krötzsch

doi:10.4204/EPTCS.385.35

Nemo: First Glimpse of a New Rule Engine

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Alex Ivliev - , Chair of Knowledge-based Systems (cfaed) (Author)
Stefan Ellmauthaler - , Chair of Knowledge-based Systems (cfaed) (Author)
Lukas Gerlach - , Chair of Knowledge-based Systems (cfaed) (Author)
Maximilian Marx - , Chair of Knowledge-based Systems (cfaed) (Author)
Matthias Meißner - , TUD Dresden University of Technology (Author)
Simon Meusel - , TUD Dresden University of Technology (Author)
Markus Krötzsch - , Clusters of Excellence CeTI: Centre for Tactile Internet, Chair of Knowledge-based Systems (cfaed) (Author)

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⁵ − 10⁸ input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.

Details

Original language	English
Title of host publication	Proceedings 39th International Conference on Logic Programming
Editors	Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
Pages	333-335
Number of pages	3
Publication status	Published - 12 Sept 2023
Peer-reviewed	Yes

Publication series

Series	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	385
ISSN	2075-2180

Conference

Title	39th International Conference on Logic Programming, ICLP 2023
Duration	9 - 15 July 2023
City	London
Country	United Kingdom

External IDs

ORCID	/0000-0002-1604-6308/work/159608055

Keywords

ASJC Scopus subject areas

Software

Research Portal of the TU Dresden