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

Введение

Базисная формальная онтология (BFO) - это онтология высшего уровня (TLO), соответствующая требованиям ГОСТ Р ИСО/МЭК 21838-1. Она содержит (i) определения своих терминов и выражений отношения и (ii) формализации на языках OWL 2 и Общей логики (Common Logic (CL)). BFO - это общедоступный ресурс, созданный в 2002 году. Это онтология терминов с высоким уровнем обобщения, разработанная для поддержки совместимости данных и информационных систем, связанных с онтологиями, содержащими более конкретные термины, относящиеся к конкретным предметным областям. Основная цель BFO - поддерживать разработку таких онтологий предметной области с тем, чтобы способствовать координации работы различных групп специалистов, добиваться непротиворечивости и предотвращать избыточность онтологий. Изначально BFO задумывалась как часть стратегии продвижения согласованной разработки онтологии предметной области в сфере естественных наук. В дальнейшем BFO использовалась для аналогичных целей в других областях, включая информатику и устойчивое развитие, а также в инженерном деле, в сфере военных и разведывательных технологий. Настоящий стандарт разработан для поддержки функциональной совместимости информационных систем в ответ на потребность в ОВУ, о которой заявляли пользователи онтологий в этих и других областях.

___________________

Далее по тексту используется сокращение BFO.

Далее по тексту используется сокращение CL.

BFO нейтральна к предметным областям. Это означает, что такая онтология содержит только термины, представляющие категории высокой степени обобщения, такие как объект, качество, процесс, пространственная и временная область, которые относятся ко всем предметным областям реальности.

На данный момент были выпущены три основные версии BFO:

- версия 1.0 (выпущена в 2002 г.);

- версия 1.1 (выпущена в 2007 г.);

- версия 2.0 (выпущена в 2015 г.);

- версия 2020 (выпущена в 2020 г.).

Благодаря этим последовательным версиям категориальное ядро BFO, основанное на различии между континуантами и оккурентами, а также между зависимыми и независимыми сущностями, оставалось неизменным. В версии 1.1 добавлена новая категория обобщенно-зависимой континуанты, которая была введена в качестве отправной точки для определений терминов, представляющих информационные артефакты и другие зависимые сущности (например, нуклеотидные последовательности), которые могут существовать во множестве копий. Версия 2.0 отличается от своих предшественников рядом незначительных изменений, которые возникли в результате масштабной повторной формализации с использованием языка OWL 2.

Настоящий стандарт описывает BFO 2020 - новую версию базовой формальной онтологии. Иерархия категорий BFO 2020 показана на рисунке 1. Благодаря этому иерархия категорий BFO 2.0 расширяется путем включения двух терминов ("момент времени" и "временной интервал") и изменения терминов, относящихся к фиатным границам. BFO 2020 также добавляет систематизированный набор обратных отношений к отношениям в BFO 2.0 и расширенную трактовку отношений, связанных с фактором времени.

Спецификация терминов и выражений отношения BFO 2020 на естественном языке в приложении А.1 поддерживает обслуживание и использование онтологии человеком, в том числе для разработки онтологий предметных областей, соответствующих BFO.

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

BFO 2020-CL, формализация CL для BFO 2020 в А.3 приложения A, обеспечивает уровень выразительности, необходимый для отражения формальных структур, используемых BFO 2020, например, в части трактовки времени, пространства и отношений "часть - целое".