在OWL 1中;是min 1 Thing和Some Thing相当于什么？

Question

在OWL 1中;有什么区别：

Parent subclassOf hasChildren min 1 Thing

和

Parent subclassOf hasChildren some Thing

它们是否相同，因为它们都断言每个Parent实例必须至少有一个来自任何类的值hasChildren？因为我们没有为someValuesFrom限制指定特定范围？

Answer 1

OWL中的someValuesFrom等同于谓词逻辑中的存在量词：

  

在谓词逻辑中，存在量化是一种量词，一种逻辑常数，被解释为＆＃34;存在，＆＃34; ＆＃34;至少有一个，＆＃34;或者＆＃34;对某些人来说。＆＃34;它表达了一个命题功能可以由一个话语领域的至少一个成员来满足。换句话说，它是对域的至少一个成员的属性或关系的预测。它断言存在量词范围内的谓词对于谓词变量的至少一个值是正确的。

请记住这一点，请参阅 Restirction 的定义：

  

OWL Lite允许对类的实例如何使用属性进行限制。

基数的定义：

  

OWL（和OWL Lite）基数限制被称为本地限制，因为它们是针对特定类别在属性上声明的。也就是说，限制会限制该属性的基数对该类的实例的影响。

在OWL中，someValuesFrom被定义为：

  

限制someValuesFrom在关于类的属性上声明。特定类可能对属性有限制，该属性的至少一个值属于某种类型。

minCardinality已被定义为：

  

如果针对某个类别的属性声明了minCardinality为1，那么该类别的任何实例将相关至少一个人

所以，虽然逻辑上它们是相同的，但它们代表了不同的想法。

Answer 2

  

在OWL 1中;有什么区别：

     

    

Parent subclassOf hasChildren min 1 Thing

  

     

和

     

    

Parent subclassOf hasChildren some Thing

  

OWL1没有合格的基数限制。你不能说

• property min n Class

在OWL1中。您可以使用不合格的基数限制（1）和合格的存在性限制，例如：

1. property min n
2. 属性某些类

在OWL 2中，你有合格的基数限制，你可以写

• property min n Class

你绝对正确，以下是等同的：

• property min 1 Class
• 属性某些类

并且作为特例，以下内容是等效的：

• property min 1 owl：Thing
• 属性有些猫头鹰：事情