ГОСТ Р 56272—2014/ISO/TS 15926-8:2011
2.1.3 основной класс (core class): Класс, отражающий разделения индивидов и отношений в
соответствии с общеупотребительными терминами, применяемыми в обычном языке.
Примечание — Условия включения в класс часто не определяются формально: понимание класса
может иллюстрироваться примером.
Пример
—
Труба, пол, насос, лампа накаливания - основные классы.
(ИСО 15926-1:2004. определение 3.1.4]
2.1.4 основной шаблон (core template): Шаблон библиотеки справочных данных RDL. для
которого все элементы справочных данных в расширении аксиомы шаблона являются основными
классами.
[ИСО 15926-7:2011. определение 2.1.6]
2.1.5 банк данных (data store): Компьютерная система, обеспечивающая хранение данных для
обращения к ним в будущем.
[ИСО 15926-1:2004. определение 3.1.6]
2.1.6 тип данных (data type): Область значений.
[ИСО 10303-11:2004, определение 3.3.5]
2.1.7 хранилище данных (data warehouse): Банк данных, в котором смежные данные
объединяются для обеспечения интегрированного множества данных без дублирования или
избыточности с поддержкой множества различных прикладных вариантов.
[ИСО 15926-1:2004. определение 3.1.7]
2.1.8 сущность (entity): Класс информации, определенный общими свойствами.
[ИСО 10303-11:2004. определение 3.3.6]
2.1.9 тип данных сущности (entity data type): Представление сущности.
Примечание 1 — Тип данных сущности устанавливает область значений, определенную обычными
атрибутами и ограничениями.
Примечание 2 — В настоящем стандарте типы данных сущности определяются в соответствии с
требованиям модели данных ИСО 15926-2.
Примечание 3 — Адаптировано из ИСО 10303-11:20О4. определение 3.3.7.
2.1.10 экземпляр сущности (entity instance): Именованный блок данных, представляющий
собой блок информации внутри класса, определенного некоторой сущностью.
Примечание
Примечание
1 — Принадлежит области, установленной типом данных сущности.
2 — Адаптировано из ИСО 10303-11:20О4. определение 3.3.8.
2.1.11 логика первого порядка (first-order logic): Формализованные суждения, в которых каждое
предложение или высказывание (утверждение) подразделяются на субъект (подлежащее) и предикат
(сказуемое).
Примечание 1 —Сказуемое модифицирует (определяет) свойства субъекта (подлежащего). В логике
первого порядка предикат (сказуемое) может относиться только к одному субъекту (подлежащему).
Примечание 2 — Логику первого порядка также называют исчислением сказуемого первого порядка
или функциональным исчислением первого порядка.
[ИСО 15926-7:2011, определение 2.1.13]
2.1.12 индивид; индивидуальный объект; возможный индивид (individual, possible
individual): Объект реального мира, существующий в пространстве и времени.
Примечание 1 — В настоящем контексте, существование имеет место внутри нашего реального
мира или внутри некоего воображаемого мира. Этот мир включает фактические, гипотетические, планируемые,
ожидаемые или требуемые индивидуальные объекты.
Пример
—
Насос с серийным номером АВС 123, электростанция Battersea, сэр Joseph
Whitworth и предприятие Starship Enterprise
-
это примеры индивидуальных объектов.
Примечание 2 — Адаптировано из ИСО 15926-2:2003. определение 3.1.6.
2.1.13 шаблон индивидуального объекта (individual template): Шаблон утверждений об
индивидуальном объекте.
[ИСО/ТС 15926-7:2011, определение 2.1.14]
2