ГОСТ Р 57309-2016 (ИСО 16354:2013) Руководящие принципы по библиотекам знаний и библиотекам объектов

     3.2 Термины и определения для видов отношений

Примечание - Виды отношений также называются типами отношений или фактическими типами. Каждое из определений типов бинарных отношений сопровождается следующей информацией:

- определение того, какие виды объектов связаны в текущем отношении (исполнитель роли R1 и исполнитель роли R2);

- виды ролей, которые по определению, играют эти понятия в текущем отношении (роль R1 и роль R2);

- выражения (фразы), которые формулируют тип отношения на естественном языке (выражение R1-R2 и обратное выражение R2-R1).

3.2.1 отношение (relation): Понятие, которое выражает факт (действительное событие) или мнение относительно факта путем указания предметов, связанных с фактом, и ролей, которые различные задействованные предметы играют в факте.

Примечание - Каждый факт или состояние дел может быть смоделировано в виде отношения (связи) между связанными предметами. Вид отношения (также называемый типом отношения или типом факта) указывает, как что-либо относится к чему-либо. Бинарные отношения связывают два предмета. Отношения более высокого порядка связывают более двух предметов. Каждый связанный предмет играет свою собственную роль в отношении.

3.2.2 отношение между отдельными предметами (relation between individual things): Отношение, которое связывает один отдельный предмет с другим отдельным предметом.

Примечание - Факт, в котором задействованы отдельные предметы, может быть смоделирован путем отношения между отдельными предметами. Тип отношения указывает, как связаны предметы.

3.2.3 отношение между видами предметов (relation between kinds of things): Отношение, которое в общих чертах содержит сведения, требования или допущения относительно того, что в конкретном случае может происходить, что должно происходить, чему разрешено происходить или что уже происходит.

Примечание - Факт относительно видов предметов может быть выражен отношением между видами предметов. Такой факт обычно выражает то, что может происходить для всех предметов этого вида в рамках указанного контекста. Специализации этого вида отношений могут ограничиваться тем, что может происходить, что должно происходить, чему разрешено происходить или что уже происходит.

3.2.4 отношение между отдельным предметом и видом предмета (relation between an individual thing and a kind of thing): Отношение, которое связывает отдельный предмет с видом отдельного предмета.

Примечание - Вид отношения, который указывает, что отдельный предмет имеет отношение к виду предмета или может иметь отношение к предметам определенного вида.

3.2.5 бинарное отношение (binary relation): Отношение, описывающее связь между двумя предметами, каждый из которых играет свою собственную роль, являющуюся типичной для данного отношения.

Примечание 1 - Факты могут быть выражены как бинарное отношение или как коллекция бинарных отношений между предметами. Большинство видов фактов может быть выражено с помощью одного бинарного отношения. Некоторые факты требуют троичных отношений или отношений более высокого порядка. Данные отношения могут быть выражены с помощью множественных бинарных элементарных отношений.

Примечание 2 - Данный тип отношения занимает первое место в иерархии специализации типов бинарных отношений. Он может использоваться для фиксации того, что предметы являются связанными, без знания того, как именно они связаны, однако обычно используют более специализированные типы отношений.

составное отношение: Тип бинарного отношения, которое связывает два предмета. Один из этих предметов играет роль части, а другой - роль целого. Каждый тип бинарного отношения может быть обозначен фразой, такой как "может быть частью от...". В обратной последовательности такой же тип отношения может быть обозначен обратной фразой, такой как "может быть целым из...".

Действия являются отношениями более высокого порядка, которые могут быть выражены рядом бинарных элементарных отношений, где каждое бинарное отношение указывает роль задействованного предмета в действии.

3.2.6 специализированное отношение (specialization relation): Отношение между видами предметов, связывающее два понятия, благодаря чему понятие подтипа является более определенным понятием, чем понятие супертипа, и имеет все аспекты определения понятия супертипа.

Примечание 1 - Ограничения, по которым определяется понятие супертипа, также применимы к его понятиям подтипа. Понятие подтипа выделяется из супертипа и смежных понятий путем его определения с помощью дополнительных ограничений. Понятие может быть подтипом более чем одного понятия супертипа. Аспект (значение), по которому определяется понятие супертипа, также является аспектом всех его понятий подтипа (аспекты являются унаследованными). Аспекты понятия также следует применять для отдельных предметов, классифицируемых по виду. Отдельный предмет, который классифицируется по понятию (соответствуя, таким образом, его определяющим ограничениям), косвенно также классифицируется по супертипам понятия.

Фраза "является специализацией" имеет синонимы "является видом..." и "является подтипом...". Обратная фраза "является обобщением" имеет синонимы "имеет подтип" и "является супертипом".

Примечание 2 - Термин, определяющий подтип, играет роль гипонима. Термин, определяющий супертип, играет роль гиперонима.