1 Scope
This part of ISO 15926 is a specification for data exchange and life-cycle information integration using templates based on the data model of ISO 15926‑2. This part of ISO 15926 provides a methodology for data integration of ontologies using mathematical first-order logic, which makes it independent of com puter languages.
The following are within the scope of this part of ISO 15926:
-
— representation of the ISO 15926‑2 EXPRESS model in formal logic;
-
— criteria for template definitions;
-
— methods of template expansion and verification;
-
— initial set of template definitions.
NOTE For practical guidelines to information representation using templates, see Reference [17].
The following are outside the scope of this part of ISO 15926:
-
— implementation in computer-interpretable languages;
-
— storage and retrieval;
-
— security.