该门生SWRL标签不门生4个版本，我曾经尝试都门生4.1和4.2门生。 提及门生编辑SWRL规则的AXIOME插件一直说只工作在门生3个版本。
谁能告诉我插件或程序，包括插件的门生编辑SWRL规则？
Answer 1:
SWRL规则可以在门徒新4进行编辑，但与一个漂亮的界面就像门徒新3.如果你去菜单窗口 - >查看 - >本体论的观点，有一个选项规则。 选择它，并把它添加为“视图”，也就是说，在当前标签的矩形。 规则是这样写的：
parent(?x,?y), brother(?y,?z) -> uncle(?x,?z)
其属性写为二进制谓词，类作为元谓词，变量前缀问号，头通过从主体分离->和常数刚刚写入而不本体前缀。 如果你使用的属性，类别和个人未在相应选项卡先前定义它不工作。
Answer 2:
您可以使用ORE本体规则编辑器，我使用它，它工作得很好http://sourceforge.net/projects/ore/
Answer 3:
有一个球团插件支持门徒4.x的SWRL推理：
http://clarkparsia.com/pellet/protege/ （推理可以里森纳启动/选择颗粒后开始推理）
这是门生4.x和SWRL的整合非常完整的教程：
http://dior.ics.muni.cz/~makub/owl/
文章来源: SWRL tab in Protege 4
