Protege中的“相当于”是什么意思？

Question

我正在研究 OWL，并尝试使用 Protege 构建本体。

我找到了一个名为 Protege 的选项Equivalent To。

请问这个选项是做什么用的？是为了划分实例空间吗？或者是设置类可以具有的对象属性？

Answer 1

Equivalent to适用于类表达式、对象属性和数据属性。

类表达式中的等价

在类表达式中，等价意味着两个类在任何解释中都具有相同的个体（即，这两个类是同一组个体的备用名称或等效定义）。

数据和对象属性的等效性

对于对象和数据属性，断言两个属性等效意味着它们的域和范围适用于这两个属性，并且使用一个属性的每个断言都可以重写为使用另一个属性。

例子

例如，假设我声明一个hasOwner对象属性和 anownedBy等效，则：MyCar hasOwner Me暗示MyCar ownedBy Me。