SWRL tab in Protege 4

匿名 (未验证) 提交于 2019-12-03 02:49:01

问题:

The protege SWRL tab is not available in Protege 4 versions, I have tried both protege 4.1 and protege 4.2. The axiome plugin mentioned to edit the SWRL rules in protege has been said to work only in protege 3 versions.

Can anyone tell me plugins or procedure to include the plugin to edit SWRL rules in protege?

回答1:

SWRL rules can be edited in Protégé 4, but not with a nice interface like in Protégé 3. If you go to menu Window -> Views -> Ontology views, there is an option Rules. Select it and add it as a "view", i.e., a rectangle in the current tab. Rules are written like this:

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

where properties are written as binary predicates, classes as unary predicate, variables are prefixed with question marks, head is separated from body by -> and constants are just written without the ontology prefix. It does not work if the properties, classes and individuals you use are not previously defined in the respective tabs.



回答2:

you can use ORE ontology rule editor , i am using it and it works well http://sourceforge.net/projects/ore/



回答3:

There is a Pellet plugin to support SWRL inference in Protege 4.x:

http://clarkparsia.com/pellet/protege/ (Reasoning can be started in Reasoner/Start reasoner after selecting Pellet)

This is a very complete tutorial on the integration of Protege 4.x and SWRL:

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



转载请标明出处:SWRL tab in Protege 4
文章来源: SWRL tab in Protege 4
标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!