OWL限制和开放世界假设澄清:最大1,正好1

问题描述 投票:0回答: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

需要了解所有可能的情况。

owl semantic-web protege turtle-rdf
1个回答
0
投票

开放世界的语义绊倒了很多人。你肯定并不孤单:D

以下是其含义的快速概述:

Product hasPrice min 1 xsd:decimal

Product至少有一个价格。但是,这允许Product具有多个价格。

Product hasPrice max 1 xsd:decimal

Product最多只有1个价格。但是,这允许Product完全没有价格。

Product hasPrice exactly 1 xsd:decimal

Product至少有1个价格,最多1个价格。

我已经在我的blog上更详细地写了这个。

© www.soinside.com 2019 - 2024. All rights reserved.