Nemo: First Glimpse of a New Rule Engine
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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
Originalsprache | Englisch |
---|---|
Titel | Proceedings 39th International Conference on Logic Programming |
Redakteure/-innen | Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni |
Seiten | 333-335 |
Seitenumfang | 3 |
Publikationsstatus | Veröffentlicht - 12 Sept. 2023 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Electronic Proceedings in Theoretical Computer Science, EPTCS |
---|---|
Band | 385 |
ISSN | 2075-2180 |
Konferenz
Titel | 39th International Conference on Logic Programming |
---|---|
Kurztitel | ICLP 2023 |
Veranstaltungsnummer | 39 |
Dauer | 9 - 15 Juli 2023 |
Webseite | |
Ort | Imperial College London |
Stadt | London |
Land | Großbritannien/Vereinigtes Königreich |
Externe IDs
ORCID | /0000-0002-1604-6308/work/159608055 |
---|