Nemo: First Glimpse of a New Rule Engine

From International Center for Computational Logic

Toggle side column
Nemo: First Glimpse of a New Rule Engine


Slides: Nemo: First Glimpse of a New Rule Engine

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
  • 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: CfaedCPECCeTIInnoSaleKIMEDSSECAIScaDS.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}
}