Nemo：一个新规则引擎的初探
人工智能
2023-08-31 v1 数据库
计算机科学中的逻辑
摘要
本系统演示介绍了 Nemo，一个专注于可靠性和性能的新逻辑编程引擎。Nemo 为以数据为中心的分析计算而构建，建模于一种完全声明式的 Datalog 方言中。它针对这些任务的可扩展性匹配或超过领先的 Datalog 系统。我们展示了在具有 10^5 到 10^8 输入事实的知识图谱和本体推理中的用途，全部在一台笔记本电脑上完成。Nemo 用 Rust 编写，并作为免费开源工具提供。
引用
@article{arxiv.2308.15897,
title = {Nemo: First Glimpse of a New Rule Engine},
author = {Alex Ivliev and Stefan Ellmauthaler and Lukas Gerlach and Maximilian Marx and Matthias Meißner and Simon Meusel and Markus Krötzsch},
journal= {arXiv preprint arXiv:2308.15897},
year = {2023}
}
备注
In Proceedings ICLP 2023, arXiv:2308.14898