Базовая формальная онтология
Базовая формальная онтология — это онтология верхнего уровня, разработанная Барри Смитом и его соавторами для обеспечения интероперабельности между доменными онтологиями, построенными на основе её терминов посредством нисходящего распространения. Руководство по построению доменных онтологий, соответствующих требованиям BFO, было опубликовано издательством MIT Press в 2015 году[1].
Описание
Базовая формальная онтология возникла на фоне исследований в области онтологий в геопространственной информационной науке, проводимых Дэвидом Марком, Пьером Греноном, Акилле Варци и другими учёными[2], с особым вниманием к исследованиям неопределённости и тому, как жёсткие границы в геопространственной и других областях создаются искусственно[3][4].
BFO прошла через четыре основных версии[5]. Текущая редакция была выпущена в 2020 году[6], и легла в основу стандарта ISO/IEC 21838-2[7], который был опубликован Совместным комитетом Международной организации по стандартизации (ISO) и Международной электротехнической комиссии (IEC) в 2021 году[8].
Структура BFO основана на делении сущностей на две непересекающиеся категории: сохраняющиеся и протекающие. К сохраняющимся относятся объекты и пространственные регионы, к протекающим — процессы, рассматриваемые как продолжающиеся во времени. Тем самым BFO объединяет пространство и время в единой структуре.
Применение
Базовая формальная онтология принята в качестве фундаментальной онтологии более чем в 450 онтологических проектах[9], прежде всего в областях биомедицинских онтологий, онтологий безопасности и обороны (разведки)[10], а также в промышленных онтологиях[6][11]. Примеры применения BFO можно увидеть в онтологии биомедицинских исследований (OBI).
В 2021 году был опубликован стандарт ISO/IEC 21838-2:2021 «Информационные технологии — Онтологии верхнего уровня (TLO) — Часть 2: Базовая формальная онтология (BFO)» Совместным техническим комитетом Международной организации по стандартизации и Международной электротехнической комиссии[8] ISO/IEC 21838 является многочастным стандартом. Часть 1 стандарта[12] определяет требования, которым должна соответствовать онтология, чтобы быть классифицированной как онтология верхнего уровня согласно стандарту.
В январе 2024 года BFO и Common Core Ontologies (CCO, набор онтологий-расширений BFO) были приняты в качестве «базовых стандартов для формальных онтологических разработок Министерства обороны США и разведывательного сообщества». Соответствующий меморандум был подписан главными директорами по данным Министерства обороны, Управления директора национальной разведки и Главного цифрового и искусственно-интеллектуального офиса[13].
Примечания
Литература
- Bittner, Thomas; Donnelly, Maureen; Smith, Barry (2009). “Пространственно-временная онтология для интеграции географической информации” (PDF). International Journal of Geographical Information Science [англ.]. 23 (6): 765—798. DOI:10.1080/13658810701776767. Дата обращения 2024-07-10.
- Jansen, Ludger (октябрь 2007). “Тенденции и другие реализуемые в медицинских науках информации” (PDF). The Monist [англ.]. 90 (4): 534—554. DOI:10.5840/monist200790436. Дата обращения 2024-07-10. Проверьте дату в
|date=(справка на английском) - Прикладная онтология: введение : [англ.]. — Walter de Gruyter, 2013. — ISBN 9783110324860.
- Neuhaus, Fabian. Формальная теория субстанций, качеств и универсалий // Formal Ontology in Information Systems: Proceedings of the Third International Conference (FOIS-2004) : [англ.] / Fabian Neuhaus, Pierre Grenon, Barry Smith. — IOS Press, 2004. — P. 49–59. — ISBN 1586034685.
- Schneider, Luc. Переосмысление онтологического квадрата // Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010) : [англ.]. — IOS Press, 2010. — Vol. 209. — P. 73–. — ISBN 9781607505341.
- Smith, B.; Grenon, P. (2004). “Изобилие формально-онтологических отношений” (PDF). Dialectica [англ.]. 58 (3): 79—296. DOI:10.1111/j.1746-8361.2004.tb00305.x. Дата обращения 2024-07-10.
- Smith, Barry; Ceusters, Werner; Klagges, Bert; Köhler, Jacob; Kumar, Anand; Lomax, Jane; Mungall, Chris; Neuhaus, Fabian; Rector, Alan; Rosse, Cornelius (2005). “Отношения в биомедицинских онтологиях”. Genome Biology [англ.]. 6 (5): R46. DOI:10.1186/gb-2005-6-5-r46. PMC 1175958. PMID 15892874.
|access-date=требует|url=(справка) - Smith, B.; Ceusters, W. (2010). “Онтологический реализм как методология координированной эволюции научных онтологий”. Applied Ontology [англ.]. 5 (3—4): 139—188. DOI:10.3233/AO-2010-0079. PMC 3104413. PMID 21637730.
|access-date=требует|url=(справка) - Otte, N.; Beverley, J.; Ruttenberg, A. (2022). “BFO: Базовая формальная онтология”. Applied Ontology [англ.]. 17 (1): 17—43. DOI:10.3233/AO-220262. Дата обращения 2024-07-10.