Rdf 一般类公理

OWL AXIOM表达式：

给定的：猫头鹰：职业体育

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

---

我的第一个想法是用一个通用的类公理来表达它。在这里，我不确定这a）是否可能，而b）最好使用SPARQL更新查询来查询Jena中的isntance。你建议我做什么？对于owl-manchester语法中的isntance来说，这样一个通用类公理是什么样子的？如果我理解正确的话，你不需要一个通用类公理。您只需要“正常”子类公理：

体育子类（球员价值彼得）

---

也就是说，每一项运动都有彼得作为球员财产的价值

如果我理解正确的话，你不需要一个通用的类公理。您只需要“正常”子类公理：

体育子类（球员价值彼得）

---

也就是说，每一项运动都有彼得作为球员财产的价值

没错，这就是解决方案。我已经将其添加到我的本体中。问题已经解决了，这就是答案。我已经将其添加到我的本体中。问题对我来说已经结束了