OWL限制和开放世界假设说明:最大1个,正好1个

时间:2019-02-22 06:55:09

标签: owl semantic-web protege turtle-rdf

说我们有定义:

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

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

1 个答案:

答案 0 :(得分:0)

开放世界语义使很多人绊倒。你当然不是一个人: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上对此进行了详细介绍。