一般 class 公理
General class Axioms
OWL 公理表达式：
给定：owl:class运动
输出： 除了现有的 owl:object 属性外，我还想添加 owl:object 属性 player 的值 Peter 到类型 owl:class sport 的每个实例。这意味着来自类型 owl:class sport 的每个人都应该继承此对象 属性，其值为 Peter。
我的第一个想法是用一般的 class 公理来表达它。在这里，我不太确定这个 a) 是否可行，并且 b) 是否更好地使用 SPARQL 更新查询来查询耶拿的 isntance。你会推荐我做什么？这样一个通用的 class 公理会是什么样子，例如 owl 曼彻斯特语法
如果我没理解错的话，您不需要通用的 class 公理。您只需要 "normal" subclass 公理：
运动 subClassOf（玩家 价值 彼得）
表示 Sport 的每个实例都有 Peter 作为 属性 player 的值。
OWL 公理表达式：
给定：owl:class运动
输出： 除了现有的 owl:object 属性外，我还想添加 owl:object 属性 player 的值 Peter 到类型 owl:class sport 的每个实例。这意味着来自类型 owl:class sport 的每个人都应该继承此对象 属性，其值为 Peter。
我的第一个想法是用一般的 class 公理来表达它。在这里，我不太确定这个 a) 是否可行，并且 b) 是否更好地使用 SPARQL 更新查询来查询耶拿的 isntance。你会推荐我做什么？这样一个通用的 class 公理会是什么样子，例如 owl 曼彻斯特语法
如果我没理解错的话，您不需要通用的 class 公理。您只需要 "normal" subclass 公理：
运动 subClassOf（玩家 价值 彼得）
表示 Sport 的每个实例都有 Peter 作为 属性 player 的值。