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

     8.5 Ограничительные условия

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

Примечание - В OntoML-языке допускается представлять полное множество ограничительных условий, определенных в информационной модели ИСО 13584-42:2010.

Каждый тип данных определяется как подтип комплексного XML-типа данных CONSTRAINT_Type. Общая структура ограничительных условий иллюстрируется рисунком 84.

Рисунок 84 - Общая структура ограничительных условий

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

Элемент @constraint_id: Определяет возможное значение Constraints, которое идентифицирует ограничительное условие.

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

Тип Constraintld: См. 9.1.4.

Тип CLASS_CONSTRAINT_Type: Ограничительное условие, связанное с экземплярами класса, см. 8.5.1.

Тип PROPERTY_CONSTRAINT_Type: Ограничительное условие, связанное со значением свойства, см. 8.5.3.

Перечень ограничительных условий

Ограничительное условие, определенное с помощью XML-элемента constraint_id, является уникальным в экземпляре OntoML-документа.

8.5.1 Ограничительное условие на ссылку

В зависимости от используемого контекста ограничительное условие может быть либо ссылочным, либо явно определенным. Структура класса ограничительного условия на ссылку приведена на рисунке 85.

Рисунок 85 - Структура ограничительного условия на ссылку

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

Элемент constraint: Определяет условие, которое ограничивает объектную область значений свойств класса до подкласса его наследуемой области значений.

Элемент constraint/@constraint_ref: Определяет идентификатор ограничительного условия.

Элемент constraint/constraint_definition: Устанавливает определение ограничительного условия.

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

Тип CONSTRAINT_OR_CONSTRAINT_ID_Type: Является спецификацией ограничительного условия, определенного либо в явной форме, либо путем ссылки на идентификатор ограничительного условия.

Тип CONSTRAINTS_Type: Является описанием группы ограничительных условий, приведенных либо в явной форме, либо путем ссылки на идентификатор ограничительного условия.

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

Тип Constraintld: См. 9.1.