简体繁体 English

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

[英]What is the meaning of “Equivalent To” in Protege?

原文 2015-04-04 22:48:31 9 1 semantics/ semantic-web/ owl/ protege

I am studying OWL and I am trying to build an Ontology using Protege. 我正在研究OWL，并且正在尝试使用Protege构建本体。

I found an option called Equivalent To in Protege. 我在Protege中找到了一个称为“ Equivalent To于”的选项。

What is that option for please? 请问该选择什么？ Is it for dividing the space of instances? 是否用于划分实例空间？ or is it to set the Object properties that a class can have? 还是设置类可以具有的Object属性？

1 个解决方案

Equivalent to applies to class expressions, object properties and data properties. Equivalent to适用于类表达式，对象属性和数据属性。

Equivalence in class expressions 类表达式中的对等

In class expressions, equivalence means that two classes have the same individuals in any interpretation (ie, the two classes are alternate names, or equivalent definitions, for the same set of individuals). 在类表达式中，对等表示在任何解释中两个类具有相同的个体（即，对于相同的一组个体，这两个类是备用名称或等效定义）。

Equivalence in data and object properties 数据和对象属性的对等

For object and data properties, asserting that two properties are equivalent means that their domains and ranges apply to both properties, and that every assertion using one property can be rewritten as using the other. 对于对象和数据属性，断言两个属性是等效的意味着它们的域和范围适用于这两个属性，并且使用一个属性的每个断言都可以重写为使用另一个属性。

Example 例

For example, suppose I declare a hasOwner object property and an ownedBy as equivalent, then: MyCar hasOwner Me implies MyCar ownedBy Me . 例如，假设我声明一个hasOwner对象属性和一个ownedBy等效，那么： MyCar hasOwner Me暗示MyCar ownedBy Me 。