semantic-web - 具有精确基数的属性是一种功能吗？

Question

在 OWL-DL 本体中，考虑具有域D和范围R的属性p ，其中D对p有一个限制，使其基数正好为 1：

D SubClassOf p 正好是1 件事

• (D ⊑ =1 p.东西)

然后我们可以推断p是一个函数属性，因为每个D类型的d都将有一个p的值吗？如果这是正确的，推理者可以推断出这些知识吗？

Answer 1

在 OWL 中，当每个人最多有一个属性值时，属性就是函数。“至多”很重要；允许某物对财产没有价值。（这意味着 OWL 中的函数属性实际上更像是数学中可能的偏函数。）也就是说，如果每个人对某个属性都有一个恰好一个值，那么它显然最多有一个属性值，所以正如您所怀疑的那样，财产将具有功能性。不过，我们可以通过一个特定的案例来确定这是普遍的，因为我们需要确保这里的属性p实际上对每个人最多具有一个值。

证明：假设属性p具有域D，并且D是 =1 p的子类。事物，因此每个D都只有一个p 值。是不是每个个体x至多有一个p值？有两种情况需要考虑：

1. x是一个D。然后通过具有约束的子类公理，x必须恰好有一个p的值，并且一个小于或等于一。
2. x不是D。那么x没有p的值。如果是这样，那么它将在p的域中，即D，这是一个矛盾。那么x对p的值为零，并且零小于或等于一。

然后任何个体x最多有一个属性p的值，这是p是函数的定义。因此，p是功能性的。 量子点

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