ГОСТ Р 57309—2016
3.1.22отдельный предмет (individual thing): Понятие, которое классифицирует любой реально
существующий или воображаемый предмет, имеющий индивидуальные черты, не зависящий от общ
ности между предметами.
Примечание — Настоящий стандарт касается видов предметов, которые определяются как общности
предметов с определенными ограничениями по аспектам или диапазонам значений. Данные виды предметов до
пускается использовать для классификации отдельных предметов или получения для отдельных предметов огра
ничивающих аспектов.
Термин «отдельный предмет» является супертипом всех видов отдельных предметов.
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 — Данный тип отношения занимает первое место в иерархии специализации типов би
нарных отношений. Он может использоваться для фиксации того, что предметы являются связанными, без знания
того, как именно они связаны, однако обычно используют более специализированные типы отношений.
5