Ограничение OWL и уточнение предположений открытого мира: максимум 1, ровно 1 - PullRequest
Новая
       44

Ограничение OWL и уточнение предположений открытого мира: максимум 1, ровно 1

0 голосов
/ 22 февраля 2019

Скажем, у нас есть определения: 

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 голосов
/ 23 февраля 2019

Семантика открытого мира сбивает с толку многих людей.Вы, конечно, не одиноки: 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 цену.

Я написал об этом более подробно в моем блоге .

...