Protege 4版本中没有Proteore SWRL选项卡,我已经尝试了protege 4.1和protege 4.2。提到修改SWRL规则的公理插件据说仅适用于protege 3版本。
任何人都可以告诉我插件或程序包含插件来编辑SWRL规则吗?
答案 0 :(得分:13)
SWRL规则可以在Protégé4中编辑,但不能像Protégé3那样使用漂亮的界面。如果你去菜单窗口 - >意见 - >本体视图,有一个选项规则。选择它并将其添加为“视图”,即当前选项卡中的矩形。规则是这样写的:
parent(?x,?y), brother(?y,?z) -> uncle(?x,?z)
其中属性被写为二进制谓词,类作为一元谓词,变量以问号为前缀,head与body分隔->
,而常量只是在没有本体前缀的情况下编写。如果先前未在相应选项卡中定义您使用的属性,类和个体,则它不起作用。
答案 1 :(得分:2)
你可以使用ORE本体规则编辑器,我正在使用它并且它运行良好 http://sourceforge.net/projects/ore/
答案 2 :(得分:2)
在Protege 4.x中有一个Pellet插件支持SWRL推理:
http://clarkparsia.com/pellet/protege/ (选择Pellet后,可以在Reasoner / Start reasoner中开始推理)
这是关于Protege 4.x和SWRL集成的非常完整的教程: