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

Question

在OWL-DL本体中,考虑具有域D和范围R的属性p,其中D对p的限制具有恰好为1的基数:

d SubClassOf p 恰好 1个事

• (D⊑= 1 p.Thing)

那么我们可以推断p是一个函数属性,因为D类型中的每个d都只有p的一个值吗？如果这是正确的,推理人可以推断出这种知识吗？

Answer 1

在OWL中,当每个人最多拥有一个属性值时,属性就起作用."至多"很重要; 允许某物对物业没有任何价值.(这意味着OWL中的功能属性实际上更像是数学中可能的部分功能.)也就是说,如果每个人对于一个属性只有一个值,那么它显然最多只有一个属性值,所以你怀疑,财产会起作用.但是,我们可以走一个特定的案例,以确保这是一般的,因为我们需要确保这里的属性p实际上每个人最多只有一个值.

证明:假设属性p具有域D,并且D是= 1 p的子类.事情,所以每个D只有一个p 值.是否每个x都有至多一个p值？有两种情况需要考虑:

1. X是d.然后通过具有限制的子类公理,x必须恰好具有p的一个值,并且一个小于或等于1.
2. X是不是一个d.然后x没有p的值.如果确实如此,则它将在p的域中,即D,这是一个矛盾.那么x的p值为零,零小于或等于1.

然后任何个体x最多为属性p的一个值,这是p的定义是起作用的.因此,p是有效的. QED

OWL DL推理器应该能够确认这一点,并且不应该很难检查.