＆＃34;等效于＆＃34;是什么意思？在Protege？

Question

我正在学习OWL，我正在尝试使用Protege构建一个Ontology。

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

请问那个选项是什么？是用于划分实例的空间吗？或者是否设置类可以拥有的Object属性？

Answer 1

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

类表达式中的等价

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

数据和对象属性的等效性

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

实施例

例如，假设我声明hasOwner对象属性和ownedBy等效，然后：MyCar hasOwner Me隐含MyCar ownedBy Me。