ГОСТ Р ИСО 13584-32-2012 Системы промышленной автоматизации и интеграция. Библиотека деталей. Часть 32. Ресурсы практической реализации. Язык онтологической разметки продукции

     8.6 Апостериорное семантическое соотношение

Апостериорное семантическое соотношение - это ориентированное соотношение между двумя классами, из которого моделируется эквивалентность (или соответствие) свойств, описывающее способ расчета свойств одного из классов по свойствам другого класса. Все соответствия классов обладают одним и тем же положением (ориентацией), которое зависит от семантического соотношения.

В одном и том же апостериорном семантическом соотношении может быть определено несколько эквивалентностей свойств. Классы, входящие в одно или несколько апостериорных семантических соотношений, могут иметь свойства, которые не являются отображаемыми.

Примечание - Не требуется, чтобы все характеристики экземпляров каждого из классов представлялись свойствами (в словаре) и/или значениями в библиотеке. Могут отображаться только свойства, определенные в онтологии.

Апостериорное семантическое соотношение представляется с помощью абстрактного комплексного XML-типа данных A_POSTERIORI_SEMANTIC_RELATIONSHIP_Type (см. рисунок 98).

Рисунок 98 - Структура апостериорного семантического соотношения

Конкретное апостериорное семантическое соотношение определяется посредством одного из абстрактных комплексных подтипов XML-типа данных A_POSTERIORI_SEMANTIC_RELATIONSHIP_Type.

Определение внутреннего элемента:

Элемент @id: Определяет идентификатор апостериорного семантического соотношения.

Определение внутреннего типа:

Тип APosterioriSemanticRelationld: См. раздел 9.1.

Определения внешних типов:

Тип A_POSTERIORI_CASE_OF_Type: Является условным (case-of) апостериорным семантическим соотношением, см. раздел 8.6.1.

Тип A_POSTERIORI_VIEW_OF_Type: Является производным (view-of) апостериорным семантическим соотношением, см. раздел 8.6.2.

8.6.1 Апостериорное отображение в условном семантическом отношении

Условное (case-of) апостериорное семантическое отношение позволяет определять отношение включения между классами, принадлежащими различным словарям-справочникам. Если класс А является условием для класса В, то это будет означать, что все экземпляры класса А также будут и экземплярами класса В. Класс А обозначается элементом case_of_sub, а класс В - элементом case_of_super. Все отображения свойств описываются как свойства элемента case_of_super класса, определенные в его диапазоне значений и могут рассчитываться по свойствам элемента case_of_sub класса, определенным в их области значений (см. рисунок 99).

В OntoML-языке это соотношение представляется с помощью комплексного XML-типа данных A_POSTERIORI_CASE_OF_Type (см. рисунок 99).

Примечание 1 - Условное отношение позволяет каждой организации определять свой собственный словарь-справочник при предоставлении данных для их интеграции и обмена с другими организациями.

Пример 1 - Предположим, что элемент case_of_super принадлежит стандартной онтологии и элемент case_of_sub принадлежит онтологии пользователя. Апостериорное условное отношение будет позволять экспортировать локальные данные в соответствии со стандартной онтологией.

Примечание 2 - При эквивалентности двух классов А и В, т.е. все экземпляры класса А также являются и экземплярами класса В, а все экземпляры класса В являются также и экземплярами класса А. Это может представляться с использованием апостериорных семантических отношений со свойством, отображаемым с обратной стороны.

Пример 2 - Предположим, что элемент класса case_of_sub принадлежит стандартной онтологии, и что элемент класса case_of_super принадлежит онтологии пользователя. Апостериорное условное отношение будет позволять импортировать данные, описываемые в соответствии со стандартной онтологией в базе данных пользователя.

Примечание 3 - В данной версии OntoML-языка только доступная отображающая функция является соразмерной, однако для последующей стандартизации предназначен тип данных MAPPING_FUNCTION_Type.

Рисунок 99 - Структура апостериорного условного семантического отношения

Определения внутренних элементов:

Элемент corresponding_properties: Определяет множество отображаемых свойств.