protege - 如何在 Protégé 中为跨多个类的传递关系建模？

Question

我想islocatedIn在我的本体中添加一个传递属性。我的目标是推断：

City isLocatedIn Contient使用City isLocatedIn Country, Country isLocatedIn Continent.

我已经看到了具有单个域和范围的传递属性的示例，但是我还没有成功地建模具有跨多个类的域和范围的传递属性。我如何在 Protégé 中表示这一点以获得上述推论？

标签： protege

Answer 1

Asia，和/ /China的其他具体例子 应该是个人，而不是类。例如，您可以添加类（主类的子类，并将您的其他类也作为它的子类）。然后将您的属性设置为仅具有 Range 类 Place。ContientCountryCityPlaceowl:Thing