最近一直在使用Protege软件，来构建本体和知识图谱。其中还涉及到了如何指定规则进行推理，需要SWRL(使用这个插件能够比较简单创建规则)这个插件，但我一直找不到这个tab在哪里，但是我确信的是一定存在这个插件，因为protege的安装路径下的plugins文件夹中有SWRL的jar包。

        今天终于找到了如何使用SWRL创建规则。

对规则的解释：

人物(?x)^相识(?x,?y)->人物(?y)^相识(?y,?x)

x是人物中的一个实例，相识是一种对象属性，有头节点和尾节点，这里指的是x相识y。 注意这里的^的意思是与的关系。那么可以推出y与x相识。

或者直接在SWRL中创建规则。

最后的效果：

一开始我设置的是苏东坡相识佛印禅师，那么使用基于规则的推理机的结果是佛印禅师相识苏东坡

最后把推理之后的本体保存下来。

傻瓜式操作，但后续选项最好全选。

打开推理机推理之后的本体文件，发现佛印禅师相识苏东坡的属性还存在

参见：

05 - Protege & OWL API 的使用 - 本科毕设整理_protege jena owl api-CSDN博客