rdf - 如果我有一个注解属性，并且每个子 (Y,Z) 都有属性 canDo，那么 Y 如何继承所有 canDo？

Question

我正在与 Turtle 和 OWL 合作。

假设 X 是一个类，它包含许多属性。如何使 X 具有与其所有子类（Y 和 Z）相同的属性？

:has a owl:ObjectProperty
:canDo a owl:ObjectProperty

:X :has :Y
:X :has :Z

:Y :canDo :thingA
:Y :canDo :thingB

:Z :canDo :thingC
:Z :canDo :thingD

我希望推理者推断：X：canDo：thingA。

即使类不同，这是一个传递属性吗？

Answer 1

我找到了答案。您可以使用属性链接。

[] rdfs:subPropertyOf :canDo;
   owl:propertyChain (
     :has
     :canDo
).

见OWL 2 in Action – Property Chains