OWL 限制和开放世界假设说明：最大 1，恰好 1
OWL restriction and open world assumption clarification: max 1, exactly 1
假设我们有定义：
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
需要考虑所有可能的情况。
开放世界的语义让很多人感到困惑。你肯定不是一个人 :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.
上写了更详细的内容
假设我们有定义：
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
需要考虑所有可能的情况。
开放世界的语义让很多人感到困惑。你肯定不是一个人 :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.
上写了更详细的内容