我正在与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。
即使类不同,这是传递属性吗?
最佳答案
我找到了答案。您可以使用property chaining。
[] rdfs:subPropertyOf :canDo;
owl:propertyChain (
:has
:canDo
).
见OWL 2 in Action – Property Chains