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, ICLP 2023 |
---|---|
Duration | 9 - 15 July 2023 |
City | London |
Country | United Kingdom |
External IDs
ORCID | /0000-0002-1604-6308/work/159608055 |
---|