if-then 规则推理的大师级人物如何？答案

【问题标题】：How virtuoso do if-then rules inference?if-then 规则推理的大师级人物如何？
【发布时间】：2018-07-25 08:12:27
【问题描述】：

我是 Openlink Virtuoso 的新手。我想根据 if-then 语句做一些推理规则，比如，

if (B is fatherof C & A is fatherof B) then (A is grandfatherof C).

根据Virtuoso documentation of Inference Rules & Reasoning，Virtuoso 可以使用 Ontology (Graph) 来推断 RDF。 Virtuoso 可以使用 if-then 语句推理规则吗？

谢谢！

【问题讨论】：

在 Virtuoso 8 中，这是可能的。
您要应用前向链接还是后向链接？对于前者，您还可以执行 SPARQL 更新查询
Virtuoso Enterprise Edition v8+ 中实现了各种规则。它们在开源版或任何以前的版本中不可用。正如 AKSW 建议的那样，您可以运行一些基于现有语句实现新语句的查询/ies，但这些查询的结构不会像 if/then。
对不起，我的回复晚了。它实际上在 Virtuoso 8 中有效！谢谢！

【解决方案1】：

Virtuoso 8.x 支持自定义推理和推理规则（使用 SPARQL 作为规则语言）以及来自先前版本的内置推理规则。

作为支持声明式交互的多模型 RDBMS，以表或 RDF 图表示的关系，始终可以通过“魔术谓词”（使用 Virtuoso 的 SQL 存储过程语言创建）实现自定义推理规则，该规则动态实现关系。

在最新版本的 Virtuoso 中，我们简单地展示了使用 SPARQL 作为规则语言的现有“魔术谓词”功能，这得益于 SPIN 词汇表中的术语。

实时 SPARQL 查询结果链接演示了自定义推理和推理规则应用于 DBpedia 的英国王室关系类型的 sn-p：

以下是有关此功能的帖子的链接：

【讨论】：