Protege 4中的SWRL选项卡

时间:2012-09-11 09:14:35

标签: semantics ontology owl protege swrl

Protege 4版本中没有Proteore SWRL选项卡,我已经尝试了protege 4.1和protege 4.2。提到修改SWRL规则的公理插件据说仅适用于protege 3版本。

任何人都可以告诉我插件或程序包含插件来编辑SWRL规则吗?

3 个答案:

答案 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集成的非常完整的教程:

http://dior.ics.muni.cz/~makub/owl/