在貓頭鷹中使用owl：equivalentClass和子類

Question

我正在嘗試在下面的本體示例中將owl：equivalentClass屬性（在Protégé中稱為Equivalent To ）與SubClasses結合使用：

Plant  
L Angiosperm   (subClass of Plant)   
L Gymnosperm   (subClass of Plant)

現在，我向這兩個子類添加了2個對象屬性，以這種方式將它們綁定到其超類：

Plant hasFlowers Angiosperm   ------- (exp: meaning that a Plant that has flowers is an Angiosperm)   
Plant hasNoFlowers Gymnosperm

我想要實現的是通過在Protégé中創建的屬性來表達sameAs屬性，但是我沒有得到如何做的信息，我想表達如下內容：

Angiosperm <someRandomProp> <someData>   
"Equivalent To"   
(Plant hasFlowers) <someRandomProp> <someData> 

編輯：清除屬性名稱

Answer 1

您不能在兩個類之間使用對象屬性-只能以這種方式使用注釋屬性。

您要表達的意思是，有花的植物就是被子植物-為此，您要斷言被子植物等同於植物的類別和有花的事物的類別，因此您需要對屬性的存在性限制，並將其與命名概念相交。

從內存中，應鍵入為

EquivalentClasses (Angiosperm, (Plant and some hasFlowers Thing))

（此時，hasFlowers的域和范圍並不重要）。