ГОСТ Р 59798—2021
Введение
Базисная формальная онтология (BFO)^ — это онтология высшего уровня (TLO), соответствую
щая требованиям ГОСТ Р ИСО/МЭК 21838-1. Она содержит (i) определения своих терминов и выраже
ний отношения и (ii) формализации на языках OWL 2 и Общей логики (Common Logic (CL))2^. BFO — это
общедоступный ресурс, созданный в 2002 году. Это онтология терминов с высоким уровнем
обобще ния, разработанная для поддержки совместимости данных и информационных систем,
связанных с онтологиями, содержащими более конкретные термины, относящиеся к конкретным
предметным об ластям. Основная цель BFO — поддерживать разработку таких онтологий
предметной области с тем, чтобы способствовать координации работы различных групп
специалистов, добиваться непротиворе чивости и предотвращать избыточность онтологий.
Изначально BFO задумывалась как часть стратегии продвижения согласованной разработки онтологии
предметной области в сфере естественных наук. В дальнейшем BFO использовалась для
аналогичных целей в других областях, включая информатику и устойчивое развитие, а также в
инженерном деле, в сфере военных и разведывательных технологий. Настоящий стандарт разработан
для поддержки функциональной совместимости информационных систем в ответ на потребность в
ОВУ, о которой заявляли пользователи онтологий в этих и других об ластях.
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 приложения А, поддерживает исполь
зование онтологии в вычислениях, включая возможность использования BFO 2020 в тандеме с другими
онтологиями, выраженными на OWL и родственных языках, что также обеспечивает возможность кон
троля качества онтологий с помощью средств обоснования OWL.
BFO 2020-CL, формализация CL для BFO 2020 в А.З приложения А, обеспечивает уровень выра
зительности, необходимый для отражения формальных структур, используемых BFO 2020, например, в
части трактовки времени, пространства и отношений «часть — целое».
Настоящий стандарт соответствует ГОСТ Р ИСО/МЭК 21838-1.
1) Далее по тексту используется сокращение BFO.
2) Далее по тексту используется сокращение CL.
IV