具有确切基数的财产是否具有功能性？

Question

在OWL-DL本体中，考虑属性 p ，域 D ，范围 R ，其中 D 限制 p 的基数只有一个：

  

D SubClassOf p 完全 1件事

     

  
• （D⊑= 1 p.Thing）
  

我们可以推断 p 是一个功能属性，因为 D 类型的每个 d 只有的一个值p 的？如果这是正确的，推理人可以推断出这种知识吗？

Answer 1

在OWL中，当每个人最多拥有一个属性值时，属性就起作用。那＆＃34;最多＆＃34;很重要;允许某物对物业没有任何价值。 （这意味着OWL中的功能属性实际上更像是数学中可能的部分功能。）也就是说，如果每个人对于一个属性只有一个值，那么它显然最多一个该物业的价值，因此您怀疑该物业将起作用。不过，我们可以通过一个特定的案例来确定这是否一般，并且因为我们需要确保 p 这里的属性实际上每个最多只有一个个人。

  

证明：假设属性 p 具有域 D ，而 D 是= 1 <的子类em> p 。 Thing ，这样每个 D 只有一个 p   值。是否每个人 x 最多只有一个值   对于 p ？有两种情况需要考虑：

     

  
1. x 是 D 。然后通过带有限制的子类公理， x 必须只有 p 的一个值，并且一个小于或等于   之一。
  
2. x 不是 D 。然后 x 没有 p 的值。如果确实如此，那么它将位于 p 的域中，即 D ，这是一个   矛盾。那么 x 的 p 值为零，零值则较小   或者等于一个。
        

然后任何个人 x 最多为属性 p 的一个值，    p 的定义是功能性的。因此， p 是有效的。   的 QED

OWL DL推理者应该能够确认这一点，并且不应该检查它。