Pith. sign in

REVIEW 1 cited by

Nemo: First Glimpse of a New Rule Engine

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2308.15897 v1 pith:N6COAHVT submitted 2023-08-30 cs.AI cs.DBcs.LO

Alex Ivliev , Stefan Ellmauthaler , Lukas Gerlach , Maximilian Marx , Matthias Mei{ss}ner , Simon Meusel , Markus Krötzsch This is my paper · ORCID
classification cs.AIcs.DBcs.LO
keywords nemodatalogengineanalyticavailablebuiltcomputationsdata-centric
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Datalog with First-Class Facts

    cs.DB 2024-11 conditional novelty 7.0 of 10

    DL∃! gives every Datalog fact a unique nested identity, and the Slog engine uses that restriction to evaluate tree-structured rules in parallel, often faster than existing Datalog systems.

Pith tools