Как установить домен и диапазон свойства в онтологии, смоделированной в Protege

Я использую Protege 5.0.0 для разработки онтологии. Часть Онтологии показана на рисунке по ссылке:

http://imgur.com/Yq6EF3i

Для данной Онтологии я создал классы OperatingRange, OperationingPowerRange и ValueRange. Также создаются свойства hasOperatingProperty, hasValue и другие свойства. Я столкнулся с проблемой в следующем:

  • Для ssn:hasOperatingProperty я использую класс OpertingRange в качестве домена и класс ssn:OperatingPowerRange в качестве диапазона. Теперь, согласно рисунку, я должен установить ssn:hasOperatingProperty в качестве домена для ssn:hasValue? Я пытался сделать то же самое, но Protege не показывает никаких вариантов для этого.
  • Что означают слова «может быть» и «все», написанные под некоторыми свойствами на приведенном выше рисунке?
  • Для свойства unitOfMeasure следует установить ssn:hasvalue в качестве домена и unit:Volt в качестве диапазона?

ontology protege
person Haroon Rashid    schedule 10.02.2015    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Я верю схеме:

'propertyName'
can be
one of
'className'

— это способ представления ограничений, которые являются выражениями класса и должны читаться как: существует по крайней мере одно утверждение свойства объекта со свойством «propertyName», и индивидуум в этом утверждении является экземпляром «className».

«может быть» и «один из» следует читать как «может быть одним из», что означает экзистенциальную количественную оценку. «может быть», «все» — это универсальная количественная оценка.

Что касается unitOfMeasure, вы не можете иметь свойство в качестве домена для другого свойства, если только второе свойство (hasValue в вашем случае) не является свойством аннотации. Используя единицу измерения: вольт, диапазон звучит правильно.

Изменить: чтобы ответить на комментарий, вам нужно добавить выражение класса do the domain. В Protege вы делаете это, щелкнув вкладку домена и выбрав тип ограничения, свойство, по которому оно действует, и тип, который вы ожидаете в качестве наполнителя (может быть Thing). См. изображение для справки.

Protege snapshot

person Ignazio    schedule 11.02.2015
comment
Спасибо, Иньяцио, за ответ. Я получил ваши ответы, но до сих пор не могу понять, как мне смоделировать первую точку в Protege. - person Haroon Rashid; 11.02.2015