如果我有一個註解屬性，並且每個子項（Y，Z）都有屬性canDo，那麼Y如何繼承所有canDo？

我正在與海龜和OWL合作。如果我有一個註解屬性，並且每個子項（Y，Z）都有屬性canDo，那麼Y如何繼承所有canDo？

說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。

這是一個傳遞屬性，即使類是不同的？

來源

2012-12-08 someoneshopper

我找到了答案。您可以使用property chaining。

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

看到OWL 2 in Action – Property Chains

來源

2012-12-08 19:44:08 someoneshopper

感謝包括鏈接！你能把這個標記爲公認的答案嗎？那麼這個問題就不會顯示爲沒有答案:) –

完成。我懷疑有人會有更好的答案，或者如果我接受我自己的答案，那看起來會很糟糕。 – someoneshopper

如果我有一個註解屬性，並且每個子項（Y，Z）都有屬性canDo，那麼Y如何繼承所有canDo？

回答

相關問題