ГОСТ Р 59794— 2021
ний. которые являются отношениями между ними. Член класса thing является членом одного из следу
ющих подклассов:
- класса индивидов, представленных классом individual: нечто, существующее в пространстве и
времени и имеющее вариации, определенные в 4-мерном пространстве;
- представляющий абстрактные объекты класс abstract object: нечто, не существующее в про
странстве и времени.
П р и и еч а н и я
1 Член определенного в OWL класса owLThing может быть чем-то. отличающимся от представленного объ
ектом individual индивида или представленного объектом abstract object абстрактного объекта. Следовательно,
представляющий вещь (предмет) класс thing является подклассом класса owl:Thing.
2 Членом представленного объектом abstract object класса абстрактных объектов может быть:
- представленный классом class of individual класс индивидов: класс, членами которого являются пред
ставленные классом individual индивиды:
- представленный классом class of class of individual класс классов индивидов: класс, членами которого
являются представленные классом class of individual классы индивидов;
или класс мощности более высокого порядка, содержащий представленные экземплярами клас
сов individual индивиды.
Существует очень мало предметов, которые являются членами представляющего абстрактные
объекты класса abstract object, но не членами представляющего класс индивидов класса class of
individual или представляющего класс классов индивидов класса class o f class of individual. Боль
шинство таких предметов — это:
- классы, членами которых является смесь, состоящая из смеси индивидов, классов индивидов и
классов классов индивидов.
Примером является класс, состоящий из всех классов, определенных в настоящем стандарте;
- отношения, которые записываются как представляющие отображения отношения mapping.
Примером является показанное в приложении D представленное отношением m apping отобра
жение «обозначение транспортного средства регистрационным номером Соединенного королевства».
Представленное классом m apping отображение «обозначение транспортного средства регистрацион
ным номером Соединенного королевства» связано отношением representation space assigned by (про
странство представления задано посредством) с классом «лицензирование водителей и транспортных
средств в Соединенном королевстве». Отображение выполняется также с применением механизма
паннинга OWL. Для этого использован представляющий свойство объекта класс owLObjectProperty,
представляющий функциональное свойство класс owLFunctionalProperty и представляющий обрат ное
функциональное свойство класс owhlnversoFunctionalProperty.
Утверждение об отношениях между предметами, относящимися к представляющим предметы
классу thing, не должно уточняться. Если утверждение действительно на протяжении некоторого пред
ставленного классом period in tim e периода времени, то должны быть созданы определения связанных со
временем классов individual, представляющих индивид на протяжении отдельных периодов вре мени.
Если утверждение действительно для отдельного сценария или «возможного мира», то должно быть
создано определение класса individual, представляющего индивид, только в пределах этого воз можного
мира.
4.2 Расширения онтологии
Онтология объединения жизненного цикла может быть расширена путем создания новых классов,
являющихся подклассами представляющего индивиды класса individual, представляющего класс аб
страктных объектов класса abstract object и представляющего класс классов индивидов класса class o f
class of individual.
П р и м е ч а н и е — Вероятно, вне области математики существует мало подклассов представляющего аб
страктные объекты класса abstract object, которые не являются подклассами представляющего классы индивидов
класса class of individual или представляющего классы классов индивидов класса class of class of individual.
4.3 Вы бор версии OWL
В настоящем стандарте содержится онтология, которая представлена средствами языка Web-
онтологий W3C OWL 2. Подход к реализации OWL описан в приложении В. а представление онтологии
4