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を推測させたい。
クラスが異なっていても、これは推移的なプロパティですか?