一般类公理 [英] General class Axioms

问题描述

OWL AXIOM表达式:

OWL AXIOM expressions:

给予:owl:class sport

Given: owl:class sport

输出:除了现有的owl:object属性外，我还想将owl:object属性 player 添加为值Peter到owl:class类型的每个实例中运动.这意味着owl:class sport类型的每个人都应继承对象属性Peter的值.

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.

我的第一个想法是用通用的类公理来表达它.在这里，我真的不确定是否可以通过SPARQL更新查询来实现Jena中的差错，从而 a)和 b)更好.你会推荐我做什么?以及这样的通用类公理看起来像猫头鹰曼彻斯特语法中的空白

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

推荐答案

如果我对您的理解正确，那么您不需要通用的类公理.您只需要普通"子类公理:

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

   体育 subClassOf (玩家值彼得)

    Sport subClassOf (player value Peter)

表示 Sport 的每个实例都有 Peter 作为属性 player 的值.

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

这篇关于一般类公理的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！