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
Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, EPTCS, to appear

Details
Bibtex

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: CPEC, InnoSale, KIMEDS, SECAI, ScaDS.AI, Cfaed
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}
}