通用类公理

Question

OWL 公理表达式：

给出：猫头鹰：班级运动

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

我的第一个想法是用一般的类公理来表达它。在这里，我不太确定这是否a)可能，b)更好地使用 SPARQL 更新查询耶拿的实例来做到这一点。你会建议我做什么？这样一个通用的类公理会是什么样子，例如猫头鹰曼彻斯特语法

Answer 1

如果我理解正确，那么你不需要通用的类公理。你只想要“正常”子类公理：

    Sport subClassOf（玩家值Peter）

其中表示Sport的每个实例都将Peter作为财产玩家的值。