OWL 限制和开放世界假设说明：最大 1，正好 1

Question

假设我们有定义：

Product hasPrice exactly 1 xsd:decimal
Product hasPrice max 1 xsd:decimal

在开放世界假设下，我们可以在不指定价格的情况下定义产品，例如：

A a Product;
rdfs:label "Apple"@en .

我的理解是：

exactly 1 定义，我们说这个产品的价格是未知的。

使用max 1 定义，我们说产品可以没有价格。

我说的对吗？

---

我在定义时弄糊涂了

Service has some gr:UnitPriceSpecification
Service has exactly 1 Provider
ComputeService has max 1 TransactionsUnitPriceSpecification

需要考虑所有可能的情况。

Answer 1

开放世界的语义让很多人感到困惑。你当然不是一个人：D

这里是含义的简要概述：

Product hasPrice min 1 xsd:decimal

声明Product 至少有 1 个价格。但是，这允许Product 有多个价格。

Product hasPrice max 1 xsd:decimal

声明Product 最多有 1 个价格。但是，这允许Product 根本没有价格。

Product hasPrice exactly 1 xsd:decimal

声明Product 至少有 1 个价格，最多有 1 个价格。

我已在我的blog 上详细介绍了这一点。