Protege中的“等於”是什么意思？

Question

我正在研究OWL，並且正在嘗試使用Protege構建本體。

我在Protege中找到了一個稱為“ Equivalent To於”的選項。

請問該選擇什么？ 是否用於划分實例空間？ 還是設置類可以具有的Object屬性？

Answer 1

Equivalent to適用於類表達式，對象屬性和數據屬性。

類表達式中的對等

在類表達式中，對等表示在任何解釋中兩個類具有相同的個體（即，對於相同的一組個體，這兩個類是備用名稱或等效定義）。

數據和對象屬性的對等

對於對象和數據屬性，斷言兩個屬性是等效的意味着它們的域和范圍適用於這兩個屬性，並且使用一個屬性的每個斷言都可以重寫為使用另一個屬性。

例

例如，假設我聲明一個hasOwner對象屬性和一個ownedBy等效，那么： MyCar hasOwner Me暗示MyCar ownedBy Me 。