Rdf 如果我有一个注释属性has，并且每个子级（Y，Z）都有属性canDo，那么Y如何继承所有canDo？

我和乌龟和猫头鹰一起工作

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

我想让推理者推断：X:canDo:thingA

---

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

我找到了答案。你可以用

---

请参见

感谢您提供此链接！你能把这个标记为被接受的答案吗？那么这个问题就不会再以未回答的形式出现了：）完成。我怀疑有人会有一个更好的答案，或者如果我接受我自己的答案会看起来很糟糕。

: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

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