我在Neo4j中创建了一个语义图。是否有可能在 Neo4j 中使用 OWL 推理器?还是任何推理引擎?
尽管此处已提及,但我找不到任何解决方案或API。
感谢任何建议!
也许你想看看这个:点击这里
我从该链接中引用了以下内容:
如果你想在 neo4j 数据库上使用推理器,你的主要任务是从 neo4j 中吸取数据,并将其格式化为一组 RDF 三元组。然后,您可以将这些RDF三元组放入耶拿模型中。当内存中有该耶拿模型时,您可以使用现有的耶拿 API 将该模型的推理器用于该模型
我在这方面的研究正在进行中,请看这里看最新的文章草稿,有专门的图推理部分。
我正在寻找neo4j -> Prolog -> neo4j
方法:(a)-[b]->(c)
图形可以表示为谓词b(a,c)
,因此请将.db导出到.pl并在SWI Prolog中查询。但最复杂的事情是:如何对向后导入 neo4j 进行一些(直接(推理。
我正在考虑使用 BOLT prolotocol 将 YieldProlog 与 neo4j db 的直接遍历应用。我计划为 Yield 方法添加特殊的模组来专门处理图元素的标签和属性,因此我的知识库将被描述为 neo4j 数据库的设计。
如果你正在寻找对图数据的实际推理,你应该看看TypeDB,它内置了一个推理引擎。您可以使用 TypeQL 中的rules
来定义推理逻辑。
附言我在Vaticle工作,这家公司负责构建TypeDB;)