General class Axioms

a 夏天 提交于 2019-12-12 03:19:09

问题


OWL AXIOM expressions:

Given: owl:class sport

Output: in addition to the existing owl:object properties i want to add the owl:object property player with the value Peter to every instance from type owl:class sport. That means that every individual from type owl:class sport should have this object property inherited with the value Peter.

My first thought was to express it with a general class axiom. Here i am not really sure whether this a) possible and b) better to do it with a SPARQL update query for isntance in Jena. What would you recommend me to do? And how would such a general class axiom look like, for isntance in owl manchester syntax


回答1:


If I understand you correctly, you don't need a general class axiom for this. You just want the "normal" subclass axiom:

    Sport subClassOf (player value Peter)

which says that every instance of Sport has Peter as a value for the property player.



来源:https://stackoverflow.com/questions/38716136/general-class-axioms

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