if-then规则推理的技巧？

Question

我是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可以使用本体论（图）来推断RDF。 Virtuoso可以使用if-then语句推理规则吗？

谢谢！

Answer 1

Virtuoso 8.x除先前版本中的内置推理规则外，还支持自定义推理和推理规则（使用SPARQL作为规则语言）。

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

在最新版的Virtuoso中，我们仅根据SPIN词汇表中的术语公开了使用SPARQL作为规则语言的现有“魔术谓词”功能。

实时SPARQL查询结果链接，展示了自定义推理和推理规则，这些自定义推理和推理规则应用于DBpedia的一部分英国王室关系类型：

1. Ancestors & Descendants
2. Siblings
3. Aunties
4. Uncles
5. Cousins

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

1. Virtuoso 8.x Custom Inference Rules & Magic Predicates
2. How To Create Custom Inference Rules using Virtuoso 8.x