ГОСТ Р 59798-2021 Информационные технологии (ИТ). Онтологии высшего уровня (TLO). Часть 2. Базисная формальная онтология (BFO)

Приложение А

(обязательное)

Описание BFO 2020

A.1 Определения терминов и выражений отношения на естественном языке в BFO 2020

A.1.1 Статус

A.1.1.1 Общие положения

В этом пункте документируется сигнатура BFO 2020, удовлетворяющая требованиям ГОСТ Р ИСО/МЭК 21838-1, 4.1. Эта сигнатура должна использоваться при оценке соответствия BFO 2020 в смысле определения, содержащегося в разделе 4 настоящего стандарта. Первичные термины и первичные выражения отношения в этой сигнатуре снабжены пояснениями.

BFO 2020 - это версия базовой формальной онтологии, созданная для обеспечения соответствия требованиям ГОСТ Р ИСО/МЭК 21838-1.

A.1.1.2 Синтаксис

- "a", "b", "c" и т.д. для партикулярий;

- "t", "t' " и т.д. для временных областей; такие выражения, как "for all times" следует интерпретировать как "для всех временных областей";

- "r", "r? ", "s", "s? " и т.д. для пространственных и пространственно-временных областей;

- "A", "B", "C", "P" и т.д. для универсалий или типов ("type" и "universal" рассматриваются как синонимы);

- "R", R? " и т.д. для отношений.

А.1.1.3 Отношения и выражения отношения

Все выражения отношения, определенные в BFO 2020, имеют бинарное ядро; у некоторых есть дополнительно третий релатум, который всегда является экземпляром временной области и который синтаксически выделен с помощью английского предлога "at". Различают три типа бинарных ядер, а именно: