3

protege SWRL 选项卡在 Protege 4 版本中不可用,我已尝试过 protege 4.1 和 protege 4.2。据说在 protege 中编辑 SWRL 规则的 axiome 插件仅在 protege 3 版本中有效。

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

4

3 回答 3

14

SWRL 规则可以在 Protégé 4 中进行编辑,但不像 Protégé 3 那样具有良好的界面。如果您进入菜单 Window -> Views -> Ontology views,则有一个选项 Rules。选择它并将其添加为“视图”,即当前选项卡中的矩形。规则是这样写的:

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

其中属性写成二元谓词,类写成一元谓词,变量以问号为前缀,head 与 body by 分开->,常量只写没有本体前缀。如果您使用的属性、类和个人之前没有在相应的选项卡中定义,则它不起作用。

于 2012-09-12T07:04:47.893 回答
2

您可以使用 ORE 本体规则编辑器,我正在使用它,它运行良好 http://sourceforge.net/projects/ore/

于 2013-01-07T23:07:55.160 回答
2

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

http://clarkparsia.com/pellet/protege/ (推理可以在Reasoner/选择Pellet后启动reasoner开始)

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

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

于 2013-06-21T14:28:28.070 回答