%0 Journal Article %1 Ivliev2023-mp %A Ivliev, Alex %A Ellmauthaler, Stefan %A Gerlach, Lukas %A Marx, Maximilian %A Meißner, Matthias %A Meusel, Simon %A Krötzsch, Markus %D 2023 %I arXiv %K %T Nemo: First glimpse of a new rule engine %X 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 to 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.

@article{Ivliev2023-mp, 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^5 to 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.}, added-at = {2024-09-10T10:41:24.000+0200}, author = {Ivliev, Alex and Ellmauthaler, Stefan and Gerlach, Lukas and Marx, Maximilian and Mei{\ss}ner, Matthias and Meusel, Simon and Kr{\"o}tzsch, Markus}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/25794b58a39af519cdaef8b63d4aecf2b/scadsfct}, interhash = {49b2fa627fa00bdc31976837c26956d3}, intrahash = {5794b58a39af519cdaef8b63d4aecf2b}, keywords = {}, publisher = {arXiv}, timestamp = {2024-09-10T10:47:32.000+0200}, title = {Nemo: First glimpse of a new rule engine}, year = 2023 }