我是Openlink Virtuoso的新手。我想做一些基于if-then语句的推理规则，比如
if (B is fatherof C & A is fatherof B) then (A is grandfatherof C).
根据推理规则&推理，Virtuoso可以使用本体论(Graph(来推理RDF。Virtuoso可以使用if-then语句推理规则吗？
谢谢！
Virtuoso 8.x支持自定义推理&推理规则(使用SPARQL作为规则语言(。
作为一种支持与表或RDF图表示的关系进行声明性交互的多模型RDBMS，始终可以通过动态实现关系的"神奇谓词"(使用Virtuoso的SQL存储过程语言创建(来实现自定义推理规则。
在最新版本的Virtuoso中，我们简单地展示了使用SPARQL作为规则语言的现有"魔术谓词"功能，这得益于SPIN词汇中的术语。
Live SPARQL查询结果链接展示了应用于DBpedia:中英国王室关系类型片段的自定义推理和推理规则
- 祖先&后裔
- 兄弟姐妹
- 阿姨
- Uncles
- 表兄弟
以下是有关此功能的帖子链接：
- Virtuoso8.x自定义推理规则&魔术谓词
- 如何使用Virtuoso 8.x创建自定义推理规则