要約
このシステム デモンストレーションでは、信頼性とパフォーマンスに重点を置いた新しいロジック プログラミング エンジンである Nemo を紹介します。
Nemo はデータ中心の分析計算用に構築されており、完全に宣言的な Datalog 言語でモデル化されています。
これらのタスクに対する拡張性は、主要な Datalog システムと同等かそれを超えています。
すべてラップトップ上で、10^5 ～ 10^8 の入力ファクトを使用したナレッジ グラフとオントロジーを使用した推論での使用法を示します。
Nemo は Rust で書かれており、無料のオープンソース ツールとして利用できます。
要約(オリジナル)
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 10^5 to 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.
arxiv情報
| 著者 | Alex Ivliev,Stefan Ellmauthaler,Lukas Gerlach,Maximilian Marx,Matthias Meißner,Simon Meusel,Markus Krötzsch |
| 発行日 | 2023-08-30 09:08:28+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google