rdf - 一般类公理

Question

OWL AXIOM 表达式：

给定：猫头鹰：类运动

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

我的第一个想法是用一般的阶级公理来表达它。在这里，我不确定这是否a)可能和b)更好地使用 SPARQL 更新查询来获取 Jena 中的实例。你会推荐我做什么？以及这样一个通用的类公理会是什么样子，例如猫头鹰曼彻斯特语法

Answer 1

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

    Sport subClassOf（球员价值彼得）

这表示Sport的每个实例都将Peter作为属性player的值。