Protege 4 中的 SWRL 选项卡

Question

protege SWRL选项卡在Protege 4版本中不可用，我已经尝试了protege 4.1和protege 4.2。据说用于在 protege 中编辑 SWRL 规则的 axiome 插件仅适用于 protege 3 版本。

谁能告诉我插件或程序，以包含在 protege 中编辑 SWRL 规则的插件？

Answer 1

SWRL 规则可以在 Protégé 4 中编辑，但不能像 Protégé 3 那样使用漂亮的界面。如果您进入菜单“窗口”->“视图”->“本体视图”，有一个选项“规则”。选择它并将其添加为“视图”，即当前选项卡中的矩形。规则是这样写的：

parent(?x,?y), brother(?y,?z) -> uncle(?x,?z)

其中属性写为二元谓词，类写为一元谓词，变量以问号为前缀，头部与主体之间用

->

分隔，常量不带本体前缀。如果您使用的属性、类和个人之前未在相应选项卡中定义，则该功能不起作用。

Answer 2

你可以使用ORE本体规则编辑器，我正在使用它并且效果很好 http://sourceforge.net/projects/ore/

Answer 3

Protege 4.x中有一个Pellet插件支持SWRL推理：

http://clarkparsia.com/pellet/protege/ （选择Pellet后可以在Reasoner/Start Reasoner中开始推理）

这是关于 Protege 4.x 和 SWRL 集成的非常完整的教程：

Answer 4

现在在 Protege 5.6.3 中，SWRL 选项卡工作正常。