ГОСТ Р ИСО 13584-42—2012
I ((ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA
+’.PROPERTY_CONSTRAINT) IN TYPEOF (cons))
AND NOT
((cons\property_constraint.constrained_property
IN SELF\dictionary_element.identified_by
\dass_BSU,known_visible_properties)
OR (cons\property_constraint.constrainedproperty
IN known_applicable_properties)))={ ]):
WR10: (SIZEOF( OUERY (lab <* keywords
I ( IS013584JEC61360_DICTIONARY_SCHEMA’
+ LABEL_WITH_LANGUAGE ) INTYPEOF (lab)))
= SIZEOF( keywords))
OR (SLZEOF (QUERY (lab <* keywords
I (ISO13584JEC61360_DICTIONARY_SCHEMA
+’.LABEL_WITH_LANGUAGE‘) IN TYPEOF (lab)))
= SIZEOF( keywords));
WR11; (CIS013584IEC61360_ITEM_CLASS_CASE_OF_SCHEMA
+ -A_PRIORI_SEMANTIC_RELATIONSHIP’)
IN TYPEOF (SELF)) OR
(QUERY(p <* sub_class_properties
I NOT(p IN SELF.described_by)) = (]);
WR12: NOT all_class_descrip!ions_reacnable (SELF.identified_by) OR
(QUERY (va <* dass_constant_values |
NOT is_class_valued_property (
va.super_class_defined_property. SELF.identified_by)) = [));
WR13: QUERY(val <* SELF.class_constant_values
I QUERY (v <* dass_value_assigned (
val.super_dass_defined_property. SELF.identified_by)
I val.assigned_value о v) <>[ ]) = [ ];
END_ENTITY; — class
C
Определения агрибутов:
identified_by: BCE класса class BSU, задающая данный класс.
its_superclass: ссылка на класс, для которого рассматриваемый класс является подклассом.
described_by: список ссылок на дополнительные свойства, доступные для использования в описании про
дуктов внутри класса и любого его подкласса.
П р и м е ч а н и е 1— Свойство может также быть применимым в классе, если оно импортировано из дру
гого класса с помощью априонного семантического соотношения a_priori_semantic_relationship (см. раздел F.6).
Следовательно, свойства, на которые производится ссылка атрибутом described_by. не определяют все примени
мые свойства класса.
П р и м е ч а н и е 2 — Списочный порядок — это порядок представления свойств, предложенный постав
щиком.
П р и м е ч а н и е 3 — Свойство, являющееся контекстно-зависимым (context_dependent_P_DET). может
стать применимым в классе, только если все контекстные параметры (condition_DET). от которых зависит его
значение, также являются применимыми вданном классе. См. ниже Правило 5 (WR5).
defined_types: набор ссылок на типы, которые могут быть использованы для различных типов элементов
данных свойств property DET с помощью дерева наследственности, нисходящего из данного класса.
П р и м е ч а н и е 4 — Тип данных datatype также может быть применимым в классе, если этот тип data_
type импортирован из другого класса с помощью априорного семантического соотношения a_priori_semantic_
relationship (см. раздел F.6). Следовательно, типы данных, на которые производится ссылка атрибутом defined_
type, не определяют все применимые типы данных в классе.
constraints: набор ограничений, ограничивающих целевые области значений некоторых свойств класса
до некоторых подмножеств унаследованных областей значений.
П р и м е ч а н и е 5 — Каждое ограничение атрибута constraints должно выполняться для реализаций
класса. Таким образом, атрибут constraints — это сопряжение ограничений.
hierarchical_position: кодированное представление положения класса в иерархии включения классов,
которой он принадлежит; иерархическая позиция hierarchical_position класса изменяется, если изменяется
структура класса онтологии. Таким образом, данный атрибут не может использоваться как устойчивый иден
тификатор класса.
76