Protege 4 中的 SWRL 选项卡

Posted 2023-02-24

【中文标题】Protege 4 中的 SWRL 选项卡

【英文标题】：SWRL tab in Protege 4

【发布时间】：2012-09-04 04:34:02

【问题描述】：

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

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

【参考方案1】：

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

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

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

【参考方案2】：

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

【讨论】：

我下载了 ORE 编辑器，但它没有用于添加 swrl 规则的选项卡。似乎它只是用于添加 rdf Triples 的工具。您是如何使用此编辑器添加 swrl 规则的？

【参考方案3】：

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

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

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

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