ГОСТ Р 56271-2014
2.1.18 шаблон библиотеки справочных данных RDL (RDL template): Шаблон, имеющий, по
крайней мере, один элемент справочных данных в расширении аксиомы данного шаблона.
2.1.19 справочные данные (reference data): Данные жизненного цикла перерабатывающих
предприятий, предоставляющие информацию о классе или об отдельных его элементах, которые
являются типовыми для большей части оборудования или представляют интерес для многих пользо
вателей.
(ИСО 15926-1:2004. определение 3.1.18]
2.1.20 библиотека справочных данных (reference data library; RDL): Управляемый набор спра
вочных данных.
[ИСО 15926-1:2004. определение 3.1.19]
При м е ча н и е - В ИСОГГС 15926-8 понятия «RDL» и «онтология» взаимозаменяемы. Альтернативный
термин — «информационная модель».
2.1.21 воплощение (reification): Стиль моделирования, в котором отношение выражается как
класс объектов.
П р и м е р — Отношение Employed-by (принят на работу) воплощается объектом Employment
(прием на работу), соединенным с объектами Employee (служащий) и Organization (организация). Смысл
данного отношения (с определенным количеством элементов с обеих сторон) заключается в том.
что "количество служащих организации должно быть больше или равно нулю’’. Воплощенный объект
Employment может быть субъектом в других отношениях, определяя их.
При м е ча н и е - Реляционные типы данных сущности ИСО 15926 — это все типы данных сущности,
имеющей два атрибута, за исключением класса отношений class_of_relationship.
2.1.22 шаблон (template). Множество, включающее предикат логики первого порядка (для которо
го определение задается как аксиома), шаблонные подписи и расширение аксиомы шаблона.
2.1.23 расширение шаблона; расширение аксиомы шаблона (template expansion; template
axiom expansion): Утверждение (высказывание), выраженное в типах данных сущности ИСО 15926-2,
эквивалентных аксиоме шаблона.
При м е ча н и е - Расширение аксиомы шаблона относится к типовым комплексным условиям равнознач
ности на языке ИСО 15926-2. Данное расширение получается путем повторного использованияусловий равнознач
ности шаблона до тех пор, пока интерпретация шаблона будет выражена непосредственно в терминах простых
конструктивов (конструкций) языка ИСО 15926-2.
2.1.24 расширенно экземпляра шаблона (template instance expansion): Множество простых ут
верждений (выскаываний) на языке ИСО 1592S-2. полученных путем задания значений переменных в
расширенной аксиоме шаблона с экземплярами сущности.
2.1.25 аксиома шаблона (template axiom): Аксиома на языке шаблона, определяющая интерпре
тацию шаблонных высказываний (утверждений шаблона).
2.1.26 экземпляр шаблона (template instance): Упорядоченный список экземпляров сущности для
которых шаблон является истинным.
2.1.27 язык шаблона (template language): Аксиомы логики первого порядка, расширяющие мо
дель данных ИСО 15926-2.
2.1.28 роль шаблона (template role): Поименованный и перенумерованный аргумент шаблона
с требуемым типом, представленным как тип данных сущности, тип данных или класс справочных
данных.
П р и м е р - Экземпляр косвенного (непрямого) свойства шаблона lnstanceOflndirectProperty(a, to.
с) означает, что а — это класс косвенных свойств ClassOflndirectProperty, to(временная часть) — это
возможный индивидуальный объект Possiblelndividual, к которому относится рассматриваемая за
висимость, и с — это экземпляр свойства Property. Аргумент to имеет тип ClassOflndirectProperty,
который имеет экземпляр Property равный с. Шаблон имеет следующие роли:
- название роли: тип свойства;
- название роли: обладатель свойства;
- название роли: Property.
2.1.29 шаблонная подпись (template signature): Поименованный, упорядоченный и напечатанный
список ролей шаблона.
3