ГОСТ Р 59798—2021
Приложение А
(обязательное)
Описание BFO 2020
А.1 Определения терминов и выражений отношения на естественном языке в BFO 2020
А. 1.1 Статус
А.1.1.1 Общие положения
В этом пункте документируется сигнатура BFO 2020, удовлетворяющая требованиям ГОСТ Р ИСО/МЭК
21838-1,4.1. Эта сигнатура должна использоваться при оценке соответствия BFO 2020 в смысле определения, со
держащегося в разделе 4 настоящего стандарта. Первичные термины и первичные выражения отношения в этой
сигнатуре снабжены пояснениями.
BFO 2020 — это версия базовой формальной онтологии, созданная для обеспечения соответствия требова
ниям ГОСТ Р ИСО/МЭК 21838-1.
А.1.1.2 Синтаксис
- «а», «Ь», «с» и т. д. для партикулярий;
- «/», «Г» и т. д. для временных областей; такие выражения, как «for all times» следует интерпретировать как
«для всех временных областей»;
- «г», «Л>, «s», «s’» и т. д. для пространственных и пространственно-временных областей;
- «А», «В», «С», «Р» и т. д. для универсалий или типов («type» и «universal» рассматриваются как синонимы);
- «Р», R’» и т. д. для отношений.
А.1.1.3 Отношения и выражения отношения
Все выражения отношения, определенные в BFO 2020, имеют бинарное ядро; у некоторых есть дополни
тельно третий релатум, который всегда является экземпляром временной области и который синтаксически вы
делен с помощью английского предлога «at». Различают три типа бинарных ядер, а именно:
- соединение партикулярии с партикулярией, выделенное жирным шрифтом;
- соединение партикулярии с универсалией, выделенное жирным шрифтом;
- соединение универсалии с универсалией, выделенное курсивом.
В некоторых определениях выражения отношения разделяются на отдельные строки для удобства чтения,
например: «spatial region г which Ьoccupies at t» содержит выражение отношения «occupies spatial region at».
A.1.1.4 Первичные и определенные термины
Как для терминов, так идля реляционных выражений в BFO существует различие между первичным (primitive)
и определенным (defined). «Entity» (Сущность) — это пример первичного термина. Первичные термины в онтологии
верхнего уровня, такой как BFO, — это термины, которые настолько важны для нашего понимания реальности, что
не существует никакого способа определить их нецикличным образом.
Под «определяющим содержанием» в терминологии ГОСТ Р ИСО/МЭК 21838-1, 4.1.1, понимается набор
первичных и непервичных определений. Первые из них именуются в настоящем стандарте пояснениями, вторые —
определениями. Таким образом, пояснение соответствует определению, которое помечено как первичное в смыс
ле, соответствующем ГОСТ Р ИСО/МЭК 21838-1,4.1.1. Как определения, так и пояснения дополнены примерами.
В контексте BFO определитель должен также соответствовать следующим условиям:
- он должен быть построен из терминов и выражений отношения, которые логически более примитивны, чем
определяемое;
- должен обеспечивать формулировку индивидуально необходимых и совместно достаточных условий для
того, чтобы объект подпадал под универсальный или определенный класс, к которому относится определяемое (в
случае, когда определяемое является термином);
- предоставлять формулировку индивидуально необходимых и совместно достаточных условий для сохране
ния отношения (в случае, когда определяемое является выражением отношения).
Пояснение, напротив, дает только формулировку необходимых условий.
Те части документа, которые относятся к определяющему содержанию, выделяются специальным формати
рованием по шаблонам:
Определение: X = Def. Y [000-BFO].
Пояснение: X является Y (или аналогичное выражение) [000-BFO],
где три цифры в элементе «[000-BFO]» служат для обозначения основного определения или пояснения.
А.1.1.5 Предметная область и диапазон
Все отношения в сигнатуре BFO 2020 являются двоичными или троичными. Domain (предметная область)
и range (диапазон) используются для описания типов, создаваемых первым и вторым релятами каждого отноше
ния соответственно. Если отношение выполняется, то первый и второй реляты являются экземплярами одного
из типов, указанных в предметной области и диапазоне. Если присутствует третий релатум, он всегда является
5