傳遞和反向特性

Question

我在我的本體論建模以下對象屬性：

Harbor locatedIn some City 
City locatedIn some Country 

我想要的推理引擎來推斷

Harbor locatedIn some Country 

此外，我想他推斷那一個

City hasHarbor(another object property) some Harbor 

謝謝你的幫助。

Answer 1

第一：推斷：Harbor subClassOf locatedIn some Country 您應該定義爲locatedInTransitive（你可以使用門生GUI）

二：的推理不會對自己的財產hasHarbor。它應該首先定義，並且您可以將其斷言爲inverseOflocatedIn（您可以使用protege GUI）。