ГОСТ РИСО13584-32—2012
объекта
a_posteriori_view_of.
В таблице F.13 представлен пример OntoML- апостериорных представлений и соответствующие
им СИМ EXPRESS-представления.
Т а б л и ц а F . 1 3 — Пример апостериорного OntoML-преобразования соотношений
OntoML-представление
EXPRESS-экземпляры
< ... xsi: type=
#apcof=A_POSTERIORI_CASE_OF(#cl1. #c!2.
"A_POSTERIORI_CASE_OF_Type">
((#prop1, #prop2)));
<source class_ref=*classld17>
<is_case_of
class_ref=*classld27>
Экземпляры
#cl1
и
#c/2
- это соответственно
сформированные с использованием OntoML-
<correspooding_properties>
языка идентификаторы classldl и classld2 (см. п.
«mapping»
F.4.3.4.2.1.
<domain>
«property
Экземпляры #ргор1 и #ргор2 - это
property_re f="propld1">
соответственно сформированные с
</domain>
использованием OntoML-языка идентификаторы
propldl и propld2 согласно л. F.4.3.4.2.1.
«range
property_ref="propld27>
Функция
createAPosteriori
позволяет обращаться
«/mapping>
«/corresponding_properties>
«.../»
к экземпляру Uapcof.
В таблице F.14 представлен апостериорный вид OntoML-представлений и соответствующие им
СИМ EXPRESS-представления.
Т а б л и ц а F.1 4 — OntoML- апостериорное преобразование производных отношений
OntoML-представление
EXPRESS-экземпляры
< ... xsi: type=
#apcof=A_POSTERIORI_VIEW_OF{#cl1, #cl2,
*A_POSTERIORI_VIEW_OF_Type">
((#prop1. #prop2)));
<functional_model
class_ref=’classld 17>
<is_view_of
Экземпляры
#cl1
и Ucl2 - это соответственно
сформированные с использованием OntoML-
class_ref=*classld27>
языка идентификаторы classldl и classld2
«corresponding_properties>
согласно п. F. 4.3.4.2.1.
«mapping>
«domain>
Экземпляры Upropl и #ргор2 - это
«property
property_ref="propId1"»
«/domain»
соответственно сформированные с
использованием OntoML-языка идентификаторы
propldl и p ropldl согласно л. F.4.3.4.2.1.
«range
property_ref="propld27>
«/mapping»
</corresponding_properties»
«.../»
Функция
createAPostoriori
позволяет обращаться
к экземпляру Uapcof.
194