ГОСТ Р ИСО/МЭК 13250-2-2012
Область применения для данного ассоциативного типа используют так же. как и для всех остальных.
7.3 Взаимосвязь супортип-подтип
Взаимосвязь супертип-подтип есть взаимосвязь между более общим (супертип) и специализи
рованным (подтип) типами. Если В есть подтип А. то из этого следует, что каждый экземпляр В также
является экземпляром А. Обратное не обязательно справедливо. Тип может иметь несколько подтипов и
супертипов.
Взаимосвязь супертип-подтип является транзитивной, т.е. если В является подтипом А. а С явля
ется подтипом В, то С также является подтипом А.
При м е ча н и е 1- В этой взаимосвязи допустимы петли, которые следует интерпретировать в том смысле,
что множества экземпляров всех типов в петлеодинаковы. Однако, это не подразумевает, что одинаковы все типы.
При м е ча н и е 2 - Семантика взаимосвязи супертип-подтип подразумеваетсуществованиедальнейших вза
имосвязей тип-экземпляр исупертип-подтип в дополнение к тем. которые явно представлены ассоциациями втемати
ческой карте. В настоящем стандарте не требуется создавать ассоциациидля подразумеваемых взаимосвязей.
Взаимосвязь супертип-подтип между двумя типами может быть установлена с помощью элемента
ассоциации, удовлетворяющего следующим правилам:
- свойство (type] (тип) должно быть установлено равным тематическому элементу, который имоет
свойство [subject identifiers] (идентификаторы субъекта), равное строке "
http://psi.topicmaps.org/iso13250/
model/supertype-subtype",
- свойство [rotes] (роли) должно содержать ровно два элемента ассоциативных ролей;
- один из элементов ассоциации в свойстве [roles] (роли) должен иметь свойство [type] (тип) рав
ное тематическому элементу, свойство [subject identifiers] (идентификаторы субъекта) которого равно
строке «
http://psi.topicmaps.org/iso13250/model/supertype’
. Свойство [player] (исполнитель) будет содер
жать тематический элемент, представляющий супертип:
- один из элементов ассоциации в свойстве [roles] (роли) должен иметь свойство [type] (тип) рав
ное тематическому элементу, свойство [subject identifiers] (идентификаторы субъекта) которого равно
строке •
’http://psi.topicmaps.org/iso13250/model/subtype’’.
Свойство [player] (исполнитель) будет содер
жать тематический элемент, представляющий подтип.
Элемент ассоциации, в котором использованы один или несколько из определенных в настоящем
разделе идентификаторов субъектов, но не соответствующий приведенным выше правилам, не рас
сматривают. как представляющий взаимосвязь супертип-подтип.
Область применения для данного ассоциативного типа используют так же. как и для всех остальных.
П р и м е р - Область применения делает интерпретацию т ранзитивност и более сложной. Если
А является экземпляром В в областях применения YuX, а В являет ся подт ипом С в областях примене
ния Y и Z. то А являет ся экземпляром С т олько в т е х контекстах, в которых применяют все три темы X .
Y u Z . Это происходит потому, что необходимы обе взаимосвязи для вывода, что А являет ся экзем
пляром С. и нехватка лю бой из этих тем сделает недопустимой по крайней мере одну взаимосвязь.
7.4 Сортированные имена
Сортированные имена являются частным случаем варианта имени, используемом в сортирован
ных темах. Сортированные имена должны быть отсортированы по значению их свойства [value] (зна
чение) в порядке кода Unicode. В реализациях можно использовать другие порядки сортировки
для типов данных, отличных от определенных в настоящем стандарте. Для получения конкретного
порядка сортировки используют сортированные имена, что приводит к желаемому порядку после
применения указанного алгоритма.
Сортированные имена представлены элементами вариантов, свойство [scope] (область примене
ния) которых содержит тематический элемент со свойством [subject identifiers] (идентификаторы субъ
екта) равным строке •
http://psi.topicmaps.org/iso13250/model/sort*.
7.5 Тип имени по умолчанию
Тематические имена не всегда являются экземплярами конкретного типа имен, и когда не задан
конкретный тип имени, то можно использовать тип имени по умолчанию. Идентификатором субъекта
для типа имени по умолчанию является «
http://psi.topicmaps.org/iso13250/model/name-type’.
17