SWRL tab in Protege 4

元气小坏坏 提交于 2019-12-09 04:18:39

问题


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/



来源:https://stackoverflow.com/questions/12366438/swrl-tab-in-protege-4

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