ГОСТ Р ИСО 13584-32—2012
Рисунок 97 — Структура ограничительного условия на перечень
1
Пример 1 — Предположим, что свойство, чьим идентификатором является 0123-
ABCDU02-P1U1,имеетобластьюзначенийцелоечисло.Вконтекстекласса,
идентифицированного с помощью идентификатора 0123-ABCD#01-C1#1 IRDI, это свойство
связывается с ограничительным условием на перечень, где допустимые значения
определяются с помощью следующего подмножества целых чисел {1, 3, 5, 7}. После этого в
классе, идентифицированном с помощью идентификатора 0123-ABCD#01-C1#1 IRDI и любого из
его подклассов, идентифицированное с помощью идентификатора 0123-ABCD#02-P1#1 IRDI
свойство может принимать только одно из следующих значений: 1 или 3 или 5 или 7. OntoML-
првдставление данного ограничительного условия на перечень будет принимать следующий
вид:
<ontomfcctass vsrlypc="onlomirn-M_CI.ASS_Typo” id=’()123-АIК’ D#01-€l# Г
\mln* \м=*http:/Avwvw3.oig/2001/XMLSchema-insiance*
\niInsontonil-’uni:iso:ski:iso:
135S4:
-32:сч1-
:
lech:xml-schaniUonlomT
Miiln>.val="un»:iso:std:iso:ts:29002>10;«d-I:tech:xinl-schema.valued
<consirai»ls>
<coiMr«iiiit>
<cou8tminl_deliniiion \si•i\pc="ontoml:INTEGRITY_CON$TRAINT_Typo’>
<comtramctl_jnoperty propertv ict*"0123-ABCD#02-P1й1"/>
<icdclbicd_<lomam\si <ypc="ontoml;ENUMERATION_CONSTRArNT_T)pc":>
<subset>
<vaJ:nrteger_value>1<Aal:integer_vulu«>
<val:integer_value>3</val inic^tT_vBlue>
<val:mte£er value>5</val:imej!er valuo
<val:imegcr_valuc>7<A’al:iniogcr_vxi]uc>
</subset>
</redefined_doniaia>
</constraiiU_Uefinition>
</constraml>
</constmuits>
</onioml:cluss>
Пример 2 — Предположим, что свойство, чьим идентификатором является 0123-
ABCD#02-P1#1, имеет область значений в виде списка из минимум 1 и максимум 4 целых чисел. В
контексте класса, идентифицированного с помощью идентификатора 0123-ABCD#01-C1U1 IRDI,
это свойство связывается с ограничительным условием на перечень с помощью
следующего списка целых чисел { {1} , {3, 5}, (7), {1, 3, 7} }. В этом контексте это будет
означать, что с помощью идентификатора 0123-ABCD#02-P1#1 свойство может принимать
следующие значения: {1} или {3, 5} или {7} или {1, 3, 7). OntoML-представление данного
ограничительного условия на перечень будет принимать следующий вид:
101