ГОСТ Р ИСО 13584-32—2012
8.6.1Апостериорное отображение в условном семантическом отношении
Условное (case-of) апостериорное семантическое отношение позволяет определять отношение
включения между классами, принадлежащими различным словарям-справочникам. Если класс А
является условием для класса В. то это будет означать, что все экземпляры класса А также будут и
экземплярами класса В. Класс А обозначается элементом case_of_sub, а класс В - элементом
case_of_super. Все отображения свойств описываются как свойства элемента case_of_super класса,
определенные в его диапазоне значений и могут рассчитываться по свойствам элемента case_of_sub
класса, определенным в их области значений (см. рисунок 99).
В OntoML-языке это соотношение представляется с помощью комплексного XML-типа данных
A_POSTERIORI_CASE_OFJType (см. рисунок 99).
Примечание 1 — Условное отношение позволяет каждой организации определять свой собственный
словарь-справочник при предоставлении данных для их интеграции и обмена с другими организациями.
Пример 1 — Предположим, что элемент case_of_super принадлежит стандартной
онтологии и элемент case_of_sub принадлежит онтологии пользователя. Апостериорное
условное отношение будет позволять экспортировать локальные данные в соответствии
со стандартной онтологией.
Примечание 2 — При эквивалентности двух классов А и В. т.е. все экземпляры класса А также
являются и экземплярами класса В. а все экземпляры класса В являются также и экземплярами класса А. Это
гложет представляться с использованием апостериорных семантических отношений со свойством, отображаемым с
обратной стороны.
Пример 2 — Предположим, что элемент класса case_of_sub принадлежит стандартной
онтологии, и что элемент класса case_of_super принадлежит онтологии пользователя.
Апостериорное условное отношение будет позволять импортировать данные, описываемые
в соответствии со стандартной онтологией в базе данных пользователя.
Примечание 3 — В данной версии OntoML-языка только доступная отображающая функция является
соразмерной, однако для последующей стандартизации предназначен тип данных MAPPING_FUNCTION_Type.
Г
г
I
>1
PROPERTY |
I
PROPERTY I
Рисунок 99 — Структура апостериорного условного семантического отношения
Определения внутренних элементов:
Элемент corresponding_propertios: Определяет множество отображаемых свойств.
Элемент corresponding_properties/mapping: Определяет отображение, которое указывает на
способ расчета значения (свойства) range для всех экземпляров из (свойства) domain с помощью
соответствующего функционального элемента.
105