Protege中的传递和反向属性

Question

我在我的Ontology中建模了以下对象属性：

(cffi:define-foreign-library opencv-highgui
  (:darwin (:or "libopencv_highgui.dylib"))
  (:linux (:or "libhighgui.so"
               "libopencv_highgui.so"))
  (t (:default "libhighgui")))

(cffi:use-foreign-library opencv-highgui)

我希望推理引擎推断出

Harbor locatedIn some City
City locatedIn some Country

而且，我希望他推断出一个

Harbor locatedIn some Country

感谢您的帮助。

Answer 1

首先：来推断：invoice.payment_succeeded 您应该将Harbor subClassOf locatedIn some Country定义为locatedIn（您可以使用protege GUI）

第二名：推理者不会自己创建Transitive财产。应该首先定义它，并且可以将其断言为hasHarbor inverseOf（您可以使用protege GUI）。