Nemo: First Glimpse of a New Rule Engine

From International Center for Computational Logic

Toggle side column
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, EPTCS, to appear
  • 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:Other info: Link
  • Projekt:Project: CPECInnoSaleKIMEDSSECAIScaDS.AICfaed
  • Verknüpfte Tools:Related Tools: Nemo
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@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},
  booktitle = {Proceedings 39th International Conference on Logic Programming:
               {ICLP} 2023 Technical Communications},
  series    = {EPTCS},
  year      = {2023}
}