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 |
|---|