Nemo: First Glimpse of a New Rule Engine
From International Center for Computational Logic
Nemo: First Glimpse of a New Rule Engine
Alex IvlievAlex Ivliev, Stefan EllmauthalerStefan Ellmauthaler, Lukas GerlachLukas Gerlach, Maximilian MarxMaximilian Marx, Matthias MeißnerMatthias Meißner, Simon MeuselSimon Meusel, Markus KrötzschMarkus Krötzsch
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
- KurzfassungAbstract
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. - Weitere Informationen unter:Further Information: Link
- Projekt:Project: Cfaed, CPEC, CeTI, InnoSale, KIMEDS, SECAI, ScaDS.AI
- Verknüpfte Tools:Related Tools: Nemo
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@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}
}