protege SWRL 选项卡在 Protege 4 版本中不可用,我已尝试过 protege 4.1 和 protege 4.2。据说在 protege 中编辑 SWRL 规则的 axiome 插件仅在 protege 3 版本中有效。
谁能告诉我插件或程序包含插件以在 protege 中编辑 SWRL 规则?
SWRL 规则可以在 Protégé 4 中进行编辑,但不像 Protégé 3 那样具有良好的界面。如果您进入菜单 Window -> Views -> Ontology views,则有一个选项 Rules。选择它并将其添加为“视图”,即当前选项卡中的矩形。规则是这样写的:
parent(?x,?y), brother(?y,?z) -> uncle(?x,?z)
其中属性写成二元谓词,类写成一元谓词,变量以问号为前缀,head 与 body by 分开->
,常量只写没有本体前缀。如果您使用的属性、类和个人之前没有在相应的选项卡中定义,则它不起作用。
您可以使用 ORE 本体规则编辑器,我正在使用它,它运行良好 http://sourceforge.net/projects/ore/
Protege 4.x 中有一个支持 SWRL 推理的 Pellet 插件:
http://clarkparsia.com/pellet/protege/ (推理可以在Reasoner/选择Pellet后启动reasoner开始)
这是一个关于 Protege 4.x 和 SWRL 集成的非常完整的教程: