在 OWL-DL 本体中,考虑具有域D和范围R的属性p ,其中D对p有一个限制,使其基数正好为 1:
D SubClassOf p 正好是1 件事
- (D ⊑ =1 p.东西)
然后我们可以推断p是一个函数属性,因为每个D类型的d都将有一个p的值吗?如果这是正确的,推理者可以推断出这些知识吗?
在 OWL-DL 本体中,考虑具有域D和范围R的属性p ,其中D对p有一个限制,使其基数正好为 1:
D SubClassOf p 正好是1 件事
- (D ⊑ =1 p.东西)
然后我们可以推断p是一个函数属性,因为每个D类型的d都将有一个p的值吗?如果这是正确的,推理者可以推断出这些知识吗?
在 OWL 中,当每个人最多有一个属性值时,属性就是函数。“至多”很重要;允许某物对财产没有价值。(这意味着 OWL 中的函数属性实际上更像是数学中可能的偏函数。)也就是说,如果每个人对某个属性都有一个恰好一个值,那么它显然最多有一个属性值,所以正如您所怀疑的那样,财产将具有功能性。不过,我们可以通过一个特定的案例来确定这是普遍的,因为我们需要确保这里的属性p实际上对每个人最多具有一个值。
证明:假设属性p具有域D,并且D是 =1 p的子类。事物,因此每个D都只有一个p 值。是不是每个个体x至多有一个p值?有两种情况需要考虑:
- x是一个D。然后通过具有约束的子类公理,x必须恰好有一个p的值,并且一个小于或等于一。
- x不是D。那么x没有p的值。如果是这样,那么它将在p的域中,即D,这是一个矛盾。那么x对p的值为零,并且零小于或等于一。
然后任何个体x最多有一个属性p的值,这是p是函数的定义。因此,p是功能性的。 量子点
OWL DL 推理器应该能够确认这一点,并且应该不难检查。