在 OWL 1; min 1 Thing 和 some Thing 是等价的吗？
In OWL 1; are min 1 Thing and some Thing equivalent?
在OWL 1;有什么区别:
Parent subclassOf hasChildren min 1 Thing
和
Parent subclassOf hasChildren some Thing
它们是否等价，因为它们都断言每个 Parent 实例必须至少有一个从 class 到 hasChildren 中的值？因为我们没有为 someValuesFrom 限制指定特定范围？
OWL中的someValuesFrom相当于谓词逻辑中的存在量词：
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists," "there is at least one," or "for some." It expresses that a propositional function can be satisfied by at least one member of a domain of discourse. In other terms, it is the predication of a property or relation to at least one member of the domain. It asserts that a predicate within the scope of an existential quantifier is true of at least one value of a predicate variable.
记住这一点，请参考限制的定义：
OWL Lite allows restrictions to be placed on how properties can be used by instances of a class.
以及基数的定义：
OWL (and OWL Lite) cardinality restrictions are referred to as local restrictions, since they are stated on properties with respect to a particular class. That is, the restrictions constrain the cardinality of that property on instances of that class.
在OWL中，someValuesFrom被定义为：
The restriction someValuesFrom is stated on a property with respect to a class. A particular class may have a restriction on a property that at least one value for that property is of a certain type.
而minCardinality被定义为：
If a minCardinality of 1 is stated on a property with respect to a class, then any instance of that class will be related to at least one individual by that property.
所以，虽然在逻辑上它们是相同的，但它们代表了不同的想法。
In OWL 1; What is the difference between:
Parent subclassOf hasChildren min 1 Thing
和
Parent subclassOf hasChildren some Thing
OWL1 没有合格的基数限制。你不能说
- 属性 最小 n Class
在OWL1。您可以使用非限定基数限制 (1) 和限定存在限制，例如：
- 属性 最小 n
- 属性一些Class
在 OWL 2 中，如果你有合格的基数限制，你有能力写
- 属性 分钟 n Class
你完全正确，以下是等价的：
- 属性 分钟 1 Class
- 属性一些Class
作为特例，以下是等价的：
- 属性 分钟 1 owl:Thing
- 属性一些owl:Thing
在OWL 1;有什么区别:
Parent subclassOf hasChildren min 1 Thing
和
Parent subclassOf hasChildren some Thing
它们是否等价，因为它们都断言每个 Parent 实例必须至少有一个从 class 到 hasChildren 中的值？因为我们没有为 someValuesFrom 限制指定特定范围？
OWL中的someValuesFrom相当于谓词逻辑中的存在量词：
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists," "there is at least one," or "for some." It expresses that a propositional function can be satisfied by at least one member of a domain of discourse. In other terms, it is the predication of a property or relation to at least one member of the domain. It asserts that a predicate within the scope of an existential quantifier is true of at least one value of a predicate variable.
记住这一点，请参考限制的定义：
OWL Lite allows restrictions to be placed on how properties can be used by instances of a class.
以及基数的定义：
OWL (and OWL Lite) cardinality restrictions are referred to as local restrictions, since they are stated on properties with respect to a particular class. That is, the restrictions constrain the cardinality of that property on instances of that class.
在OWL中，someValuesFrom被定义为：
The restriction someValuesFrom is stated on a property with respect to a class. A particular class may have a restriction on a property that at least one value for that property is of a certain type.
而minCardinality被定义为：
If a minCardinality of 1 is stated on a property with respect to a class, then any instance of that class will be related to at least one individual by that property.
所以，虽然在逻辑上它们是相同的，但它们代表了不同的想法。
In OWL 1; What is the difference between:
Parent subclassOf hasChildren min 1 Thing
和
Parent subclassOf hasChildren some Thing
OWL1 没有合格的基数限制。你不能说
- 属性 最小 n Class
在OWL1。您可以使用非限定基数限制 (1) 和限定存在限制，例如：
- 属性 最小 n
- 属性一些Class
在 OWL 2 中，如果你有合格的基数限制，你有能力写
- 属性 分钟 n Class
你完全正确，以下是等价的：
- 属性 分钟 1 Class
- 属性一些Class
作为特例，以下是等价的：
- 属性 分钟 1 owl:Thing
- 属性一些owl:Thing