Protege中的"Equivalent To"是什么意思？
What is the meaning of "Equivalent To" in Protege?
我正在学习 OWL，我正在尝试使用 Protege 构建一个 Ontology。
我在 Protege 中找到了一个名为 Equivalent To 的选项。
请问这个选项是什么？是为了划分space个实例吗？还是设置class可以拥有的对象属性？
Equivalent to 适用于 class 表达式、对象属性和数据属性。
class 表达式等价
在 class 表达式中，等价意味着两个 classes 在任何解释中都具有相同的个体（即，两个 classes 是替代名称或等效定义，因为同一组人）。
数据和对象属性等价
对于对象和数据属性，断言两个属性是等效的意味着它们的域和范围适用于这两个属性，并且每个使用一个 属性 的断言都可以重写为使用另一个。
例子
例如，假设我声明一个 hasOwner 对象 属性 和一个 ownedBy 等价，那么： MyCar hasOwner Me 意味着 MyCar ownedBy Me.
我正在学习 OWL，我正在尝试使用 Protege 构建一个 Ontology。
我在 Protege 中找到了一个名为 Equivalent To 的选项。
请问这个选项是什么？是为了划分space个实例吗？还是设置class可以拥有的对象属性？
Equivalent to 适用于 class 表达式、对象属性和数据属性。
class 表达式等价
在 class 表达式中，等价意味着两个 classes 在任何解释中都具有相同的个体（即，两个 classes 是替代名称或等效定义，因为同一组人）。
数据和对象属性等价
对于对象和数据属性，断言两个属性是等效的意味着它们的域和范围适用于这两个属性，并且每个使用一个 属性 的断言都可以重写为使用另一个。
例子
例如，假设我声明一个 hasOwner 对象 属性 和一个 ownedBy 等价，那么： MyCar hasOwner Me 意味着 MyCar ownedBy Me.