Protege 4中的SWRL選項卡

Protege 4版本中不提供保護SWRL選項卡，我嘗試了protege 4.1和protege 4.2。據說修改SWRL規則的axiome插件只能用於protege 3版本。Protege 4中的SWRL選項卡

任何人都可以告訴我插件或過程，包括插件編輯SWRL規則在保護？

2012-09-11 karthi

SWRL規則可以在Protégé4中進行編輯，但不能在Protégé3中使用良好的界面進行編輯。如果進入菜單窗口 - >視圖 - >本體視圖，則有一個選項Rules。選擇它並將其添加爲「視圖」，即當前選項卡中的矩形。規則是這樣寫的：

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

，其屬性寫成二進制謂詞，類作爲元謂詞，變量與問號前綴，頭部被->不離身和常量只是寫沒有本體前綴。如果您使用的屬性，類和個人先前未在相應選項卡中定義，則不起作用。

2012-09-12 07:04:47

可以使用ORE本體規則編輯器，我使用它，它工作得很好 http://sourceforge.net/projects/ore/

2013-01-07 23:07:55 marwan

我下載了ORE編輯器，但沒有添加swrl規則的選項卡。它似乎只是添加rdf三元組的工具。你是怎麼用這個編輯器添加swrl規則的？ – alex

有一個顆粒的插件支持SWRL推理的門徒4.x版：

http://clarkparsia.com/pellet/protege/ （推理選擇顆粒后里森納啓動/啓動推理）

這是門生4.x和SWRL的整合非常完整教程：

2013-06-21 14:28:28 leo9r

回答