ГОСТ Р ИСО 13584-32—2012
— Тип CONTEXT_PARAMETER_CONSTRAINTS_Type
— Тип CONTEXT_RESTRICTION_CONSTRAINT_Type
— Тип DOMAIN_CONSTRAINT_Typo
— Тип ENUMERATION_CONSTRAINT_Type
— Тип FILTER_Type
— Тип INTEGRITY_CONSTRAINT_Tуре
— Тип POSTCONDITION_Type
— Тип PRECONDITION_Type
— Тип PROPERTY_CONSTRAINT_Type
— Тип RANGE_CONSTRAINT_Type
— Тип STRING_PATTERN_CONSTRAINT_Type
— Тип STRING_SIZE_CONSTRAINT_Type
— Тип SUBCLASS_CONSTRAINT_Typo
— Тип SUBSET_Type
—В модуле baseTypes.xsd:
— Тип MATHEMATICAL_STRING_Type
— Тип ORGAN IZATION_Type
— Тип mmhmath.type
Примечание 3 — Тип mmlrmath.type определяется вне OntoML-языка. Префикс mml обозначает
область имен, идентифицированную с помощью следующего унифицированного имени ресурса (URN)
http://w.vw.w3.oro/1998.’Math/MathML:
— В модуле documentxsd:
— Тип AUTHORS_Type
— Тип DOCUMENT_CONTENT_Type
— Тип DOCUMENT_Type
— Тип PERSON_Type
— Тип REMOTE_LOCATIONS_Type
— Тип STRINGS_Type
—В модуле aPosteriori.xsd:
— Тип A_POSTERIORI_CASE_OF_Type
— Тип A_POSTERIORI_SEMANTIC_RELATIONSHIP_Type
— Тип CORRESPONDING_PROPERTIES_type
— Тип MAPPING_FUNCTION_Type
— Тип PROPERTY_MAPPING_Type
9.5.2
В классе
Класс соответствия 2
соответствия 2 рассматриваются те реализации, которые поддерживают онтологии,
определяющие иерархии классов элементов на основе общей ИСО/МЭК-схемы словаря, вместе с
требуемыми внешними ресурсами, онтологическими понятиями документа типов данных, описанием
иерархии представлений элементов и их категорий. Ом должен поддерживать стандартизированные
данные, определенные в приложении С, а также комплексные типы данных и связанные с ними
структурные элементы, определенные в классе соответствия 1 и. кроме того, следующие комплексные
типы данных и связанные с ними структурные элементы:
—В модуле header.xsd:
— Тип SUPPORTED_VEP_Type
122