Nemo: First Glimpse of a New Rule Engine

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

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 105 − 108 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.

Details

OriginalspracheEnglisch
TitelProceedings 39th International Conference on Logic Programming
Redakteure/-innenEnrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
Seiten333-335
Seitenumfang3
PublikationsstatusVeröffentlicht - 12 Sept. 2023
Peer-Review-StatusJa

Publikationsreihe

ReiheElectronic Proceedings in Theoretical Computer Science, EPTCS
Band385
ISSN2075-2180

Konferenz

Titel39th International Conference on Logic Programming, ICLP 2023
Dauer9 - 15 Juli 2023
StadtLondon
LandGroßbritannien/Vereinigtes Königreich

Externe IDs

ORCID /0000-0002-1604-6308/work/159608055

Schlagworte

ASJC Scopus Sachgebiete