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

     4 Соответствие

4.1 Прямое соответствие

Онтология с сигнатурой, указанной в приложении A.1, использующая тот же язык и синтаксис и включающая аксиоматизации OWL и CL, указанные в приложениях А.2 и А.3, находится в прямом соответствии с настоящим стандартом.

4.2 Прямое соответствие через формализацию OWL 2

Онтология с сигнатурой, указанной в приложении A.1, использующая тот же язык и синтаксис и включающая формализацию, указанную в приложении A.2, находится в прямом соответствии с настоящим стандартом посредством формализации OWL 2.

4.3 Прямое соответствие через формализацию CL

Онтология с сигнатурой, указанной в приложении A.1, использующая тот же язык и синтаксис и включающая формализацию, указанную в приложении A.3, находится в прямом соответствии с настоящим стандартом посредством формализации CL.

4.4 Соответствующие профили

4.4.1 Общие положения

Онтология может быть представлена в различных версиях, иногда называемых профилями, подмножествами, упрощенными вариантами, представлениями или модулями, которые адаптированы для конкретных сообществ или исследовательских парадигм. Онтология, построенная таким образом, является соответствующим профилем BFO 2020 в соответствии с настоящим стандартом при условии, что все утверждения, производные от этой онтологии, доказуемы на основе аксиом формализации CL в приложении A.3. Соответствующие профили могут состоять только из аксиоматизаций OWL или только аксиоматизаций CL. Соответствующие профили могут включать профили OWL, менее проработанные, чем профили OWL 2 с дискретной семантикой.

4.4.2 Подтипы соответствующих профилей

4.4.2.1 Онтология имеет сигнатуру, идентичную сигнатуре BFO 2020 или ее подмножества. В любом случае должны использоваться оригинальные идентификаторы IRI из BFO 2020.

Примеры -

1 Подтеория BFO 2020-CL, разработанная исключительно для представления процессов и состоящая только из оккурентных терминов BFO 2020 и соответствующих аксиом CL.

2 OWL-профиль "только классы" в BFO 2 на странице http://purl.obolibary.org/obo/bfo/classes-only.owl, в который входят только иерархия классов, подклассы и утверждения несвязанности из полной версии BFO 2 в соответствии со стандартом OWL, но не входят объекты, свойства данных или логические аксиомы, использующие такие свойства.