ГОСТ Р 56272—2014/ISO/TS 15926-8:2011
Примечание — Адаптировано из ИСО/ТС 15926-7:2011. определение 2.1.28.
2.1.40 утверждение шаблона, шаблонное высказывание (template statement): Утверждение
(высказывание), сделанное путем задания значений (инстанцирования) ролей шаблона экземплярами
сущностей.
(ИСО/ТС 15926-7:2011, определение 2.1.30]
2.1.41 основная библиотека справочных данных RDL (core RDL): Множество RDL,
содержащее только основные классы и справочные индивидуальные объекты.
Примечание — Часть данного содержания нормализована.
2.1.42 тройка (триплет); тройка среды описания ресурса RDF (triple; RDF triple):
Представление отношения между объектами или данными, которые оно соединяет.
Примечание — Тройка включает, по крайней мере:
—объект, называемый «субъект» (подлежащее);
—сказуемое (также называемое свойством), которое обозначает отношение между субъектом и
объектом;
—объект или данные, называемые объектом.
2.1.43 хранилище троек (triple store): Хранилище данных, способное хранить тройки (2.1.42).
2.1.44 значение (value): Элемент (единица) данных.
[ИСО 10303-11:2004, определение 3.3.22]
2.2 Сокращения
DL — Описательная логика (description logic);
FOL — Логика первого порядка (first order logic):
OIM — Информационная модель объекта (object information model);
OWL — Сетевой язык онтологий (Web Ontology Language);
RDF — Среда описания ресурса (Resource Definition Framework);
RDFS — Схема RDF (RDF Schema);
RDL — Библиотека справочных данных (reference data library);
SPARQL — Протокол SPARQL и язык запросов среды описания ресурса RDF (SPARQL Protocol
and RDF Query Language);
URI — Унифицированный идентификатор ресурса (Uniform Resource Identifier);
W3C — Консорциум всемирной сети (World Wide Web Consortium);
XML — Расширяемый язык разметки (extensible Markup Language).
3 Фундаментальные понятия идопущения
3.1 Общие положения
Модель данных ИСО 15926-2 является базовой и строго упорядоченной (нормализованной).
Описание модели требует гибкости, оно является достаточно сложным. ИСО/ТС 15926-7
устанавливает шаблоны, являющиеся выражением предварительно определенных семантических
блоков. Они обеспечивают оптимальный способ использование модели.
В настоящем стандарте указанные шаблоны преобразуются в конструктивы языка OWL,
обеспечивающие хранение информации, интеграцию данных, обмен информации и способность к
интероперабельности.
3.2 Шаблоны ИСО/ТС 15926-7 и правила логики первого порядка
Модель данных ИСО 15926-2 определяет фундаментальные понятия. Они представлены
базовой, концептуальной моделью данных, являющейся основой для практической реализации
коллективно используемых баз и хранилищ данных. Рассматриваемая модель данных используется
вместе со справочными данными: либо это стандартные экземпляры, представляющие обычную
информацию для нескольких пользователей, либо это технологические установки, либо то и другое.
Поддержка указанной производственной деятельности с заданным жизненным циклом зависит от
использования соответствующих справочных данных вместе с рассматриваемой моделью данных. В
соответствии с ИСО/ТС 15926-7, они транслируются в логику первого порядка с типами данных
сущности языка EXPRESS, представленными как унарные сказуемые, или с атрибутами языка
EXPRESS, представленными как бинарные сказуемые.
Для настоящего стандарта, сигнатуры шаблонов являются базовыми структурирующими
элементами. В настоящем стандарте, сигнатуры шаблонов транслируются на сетевой язык OWL со
5