ГОСТ Р ИСО 13584-32—2012
Элемент redefincd_domain: Определяет ограничительное условие на целостностьданных, которое
применимо к области значений ограничиваемого свойства.
Определения внешних типов:
Тип DOMAIN_CONSTRAINT_Type: Является конкретным ограничительным условием, которое приме
нимо к ссылочному свойству, см. 8.5.3.3.
Тип PROPERTY_CONSTRAINT_Type: См. 8.5.3.
Перечень ограничительных условий:
Элемент redefined_domain должен определять ограничение, которое совместимо с исходной обла
стью значений свойства и ссылка на котороедается с помощью XML-элемента constrained_property
8.5.3.3 Ограничительное условие на область значений
OntoML-язык предоставляет ресурсы для описания различных видов ограничительных условий на
области значений. Каждое ограничительное условие определяется как подтип комплексного XML-типа
DOMAIN_CONSTRAINT_Type. На рисунке 91 приведено общее представление о допустимых ограничи
тельных условиях на область значений свойств.
Рисунок 91 — Структура ограничительного условия на область значений
Определения внешних типов:
Тил CARDINALITY_CONSTRAINT_Type: Определяет число ограничительныхусловий, см. 8.5.3.3.3.
Тип RANGE_CONSTRAINT_Typo: Определяет переченьдиапазонов значений для ограничительных
условий, см. 8.5.3.3.5.
Тип STRING_PATTERN_CONSTRAINT_Type: Определяет перечень характеристикограничительных
условий, см. 8.5.3.3.2.
Тип STRING_SIZE_CONSTRAINT_Type: Определяет перечень размеров строк ограничительных ус
ловий. см. 8.5.3.3.4.
Тип SUBCLASS_CONSTRAINT_Typo: Определяет перечень подклассов ограничительных условий,
см. 8.5.3.3.1.
Тип ENUMERAT10N_C0NSTRAINT_Type: Определяетпереченьограничительныхусловий, см. 8.5.3.3.6.
8.5.3.3.1 Ограничительное условие на подкласс
Ограничительное условие на подкласс применимо ксвойствам, чьи области значений определяются
с помощью типа экземпляра класса (см. 8.3.10). указывают на то. что область значений для свойства
ограничена подклассом данного класса и представляется комплексным XML-типом данных SUBCLASS_
CONSTRAINT_Typo (см. рисунок 92).
DOMAIN
CONSTRAINT_ Type
III
SUBCLASS,
CONSTRAlNT_Type
9jfcdasses !..♦ p — — —” ]
I
----------------- ЫCLASS|
____________I
Рисунок 92 — Структура ограничительного условия на подкласс
96