一般等级公理

Question

OWL AXIOM表达式：

鉴于：owl：class sport

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

我的第一个想法是用普通的公理表达它。在这里，我不确定这个 a）是否可行， b）更好地使用Jena中的isntance SPARQL更新查询。你会建议我做什么？对于猫头鹰曼彻斯特语法中的咒语，这样的一般类公理会是什么样子呢？

Answer 1

如果我理解正确，你就不需要一般的阶级公理。你只想要“正常”的子类公理：

体育 subClassOf （玩家值彼得）

表示 Sport 的每个实例都将 Peter 作为属性播放器的值。