SWRL tab in Protege 4

好久不见. 提交于 2019-12-02 21:27:40

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.

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

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/

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