Nemo: First Glimpse of a New Rule Engine
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | Proceedings 39th International Conference on Logic Programming |
| Editors | Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni |
| Pages | 333-335 |
| Number of pages | 3 |
| Publication status | Published - 12 Sept 2023 |
| Peer-reviewed | Yes |
Publication series
| Series | Electronic Proceedings in Theoretical Computer Science, EPTCS |
|---|---|
| Volume | 385 |
| ISSN | 2075-2180 |
Conference
| Title | 39th International Conference on Logic Programming |
|---|---|
| Abbreviated title | ICLP 2023 |
| Conference number | 39 |
| Duration | 9 - 15 July 2023 |
| Website | |
| Location | Imperial College London |
| City | London |
| Country | United Kingdom |
External IDs
| ORCID | /0000-0002-1604-6308/work/159608055 |
|---|