Базовая формальная онтология

Базовая формальная онтология ( BFO ) — это онтология верхнего уровня, разработанная Барри Смитом и его коллегами с целью обеспечения совместимости между онтологиями предметной области, построенными на ее основе посредством процесса нисходящего заполнения. Руководство по созданию онтологий предметной области, соответствующей BFO, было опубликовано MIT Press в 2015 году. ^[1]

Онтология возникла на фоне исследований онтологий в области геопространственной информатики Дэвида Марка, Пьера Гренона, Ахилла Варци и других. ^[2] с особой ролью в изучении неопределенности и того, как резкие границы в геопространственной и других областях создаются указом. ^[3]^[4]

BFO прошел четыре основных выпуска, описанных здесь . Текущая редакция выпущена в 2020 году. ^[5] и это составляет основу стандарта «ИСО/МЭК 21838-2» . , который был выпущен Объединенным комитетом Международной организации по стандартизации и Международной электротехнической комиссии в 2021 году.

Структура BFO основана на разделении сущностей на две непересекающиеся категории: продолжающиеся и происходящие : первая состоит из объектов и пространственных регионов, вторая содержит процессы, рассматриваемые как протяженные (или охватывающие) время. Таким образом, BFO стремится объединить время и пространство в единых рамках.

Приложения

BFO был принят в качестве базовой онтологии более чем в 450 онтологических проектах. ^[6] главным образом в области биомедицинской онтологии, ^[7] онтология безопасности и обороны (разведки), ^[8] и отраслевые онтологии. ^[9]^[5] Примеры применения BFO можно увидеть в Онтологии биомедицинских исследований (OBI).

В 2021 году стандарт ISO/IEC 21838-2:2021 «Информационные технологии. Онтологии верхнего уровня (TLO) — Часть 2: базовая формальная онтология (BFO)» был опубликован Объединенным техническим комитетом Международной организации по стандартизации и Международной электротехнической комиссии. . ^[10] ISO/IEC 21838 — это стандарт, состоящий из нескольких частей. Часть 1 стандарта ^[11] определяет требования, которые должны быть выполнены, если онтология должна быть классифицирована как онтология верхнего уровня по стандарту.

В январе 2024 года BFO и Common Core Ontologies (CCO), набор онтологий расширения BFO, были приняты в качестве «базовых стандартов для формальной разработки онтологий Министерства обороны и IC» в Министерстве обороны и разведывательном сообществе. Соответствующий меморандум подписали главные специалисты по данным Министерства обороны США, Управления директора национальной разведки и Главного управления цифрового и искусственного интеллекта. ^[12]^[13]

См. также

Ссылки

^ Арп, Роберт; Смит, Барри; Спир, Эндрю Д. (2015). Построение онтологий с помощью базовой формальной онтологии . МТИ Пресс. ISBN 978-0-262-52781-1 .
^ Гренон, П.; Смит, Б. (2004). «SNAP и SPAN: к динамической пространственной онтологии» (PDF) . Пространственное познание и вычисление . 4 (1): 69–103. Бибкод : 2004SpCC....4...69G . дои : 10.1207/s15427633scc0401_5 . S2CID 14469822 .
^ Смит, Барри; Варци, Ахилл К. (2003). «Указные и добросовестные границы: к онтологии пространственно расширенных объектов» . Международная конференция по теории пространственной информации (COSIT) . 30 (3): 103–119.
^ Смит, Барри; Марк, Дэвид М. (2003). «Существуют ли горы? К онтологии форм рельефа» . Окружающая среда и планирование B . 30 (3): 411–428. Бибкод : 2003EnPlB..30..411S . CiteSeerX 10.1.1.739.3548 . дои : 10.1068/b12821 . S2CID 6160538 .
^ Jump up to: ^а ^б «Базовая формальная онтология (БФО) 2020» . Проверено 24 июня 2021 г.
^ «Онтологии и институты/группы, использующие BFO» . Базовая формальная онтология (BFO) . Проверено 2 декабря 2022 г.
^ Открытый завод биомедицинских онтологий (OBO).
^ Питер Морозов, Рон Рудницки, Джейсон Брайант, Роберт Фаррелл и Барри Смит, « Онтология совместной доктрины: эталон совместимости военных информационных систем », в книге «Семантические технологии для разведки, обороны и безопасности » (STIDS). CEUR том. 1325. стр. 2–9 (2015).
^ Литейный цех промышленных онтологий
^ «ИСО/МЭК 21838-2:2021» .
^ «ИСО/МЭК 21838-1:2021» .
^ https://www.buffalo.edu/news/releases/2024/02/department-of-defense-ontology.html .
^ Министерство обороны, разведывательное сообщество использует ресурс, разработанный онтологами UB.

Дальнейшее чтение

Биттнер, Томас; Доннелли, Морин; Смит, Барри (2009). «Пространственно-временная онтология для интеграции географической информации» (PDF) . Международный журнал географической информатики . 23 (6): 765–798. Бибкод : 2009IJGIS..23..765B . дои : 10.1080/13658810701776767 . S2CID 5055085 .
Янсен, Людгер (октябрь 2007 г.). «Тенденции и другие реализуемые возможности в области медицинской информатики» (PDF) . Монист . 90 (4): 534–554. дои : 10.5840/monist200790436 .
Манн, Кэтрин; Смит, Барри, ред. (2013). Прикладная онтология: введение . Вальтер де Грюйтер. ISBN 9783110324860 .
Нейгауз, Фабиан; Гренон, Пьер; Смит, Барри (2004). «Формальная теория субстанций, качеств и универсалий» (PDF) . В Варци, Ахилл К.; Вье, Лор (ред.). Формальная онтология в информационных системах: материалы Третьей международной конференции (ФОИС-2004) . Границы искусственного интеллекта и приложений. ИОС Пресс. стр. 49–59. ISBN 1586034685 . ISSN 0922-6389 .
Шнайдер, Люк (2010). «Возвращаясь к онтологическому квадрату» (PDF) . В Гальтоне, Энтони; Мидзогучи, Риитиро (ред.). Формальная онтология в информационных системах: материалы шестой международной конференции (FOIS 2010) . Границы искусственного интеллекта и приложений. Том. 209. ИОС Пресс. стр. 73–. ISBN 9781607505341 . ISSN 0922-6389 .
Смит, Б.; Гренон, П. (2004). «Рог изобилия формально-онтологических отношений» (PDF) . Диалектика . 58 (3): 79–296. дои : 10.1111/j.1746-8361.2004.tb00305.x .
Смит, Барри; Сестерс, Вернер; Клаггес, Берт; Келер, Джейкоб; Кумар, Ананд; Ломакс, Джейн; Мангалл, Крис; Нейгауз, Фабиан; Ректор Алан; Росс, Корнелиус (2005). «Отношения в биомедицинских онтологиях» . Геномная биология . 6 (5): Р46. дои : 10.1186/gb-2005-6-5-r46 . ПМК 1175958 . ПМИД 15892874 . S2CID 11117072 .
Смит, Б.; Сестерс, В. (2010). «Онтологический реализм как методология согласованной эволюции научных онтологий» . Прикладная онтология . 5 (3–4): 139–188. дои : 10.3233/AO-2010-0079 . ПМК 3104413 . ПМИД 21637730 .
Отте, Н.; Беверли, Дж.; Руттенберг, А. (2022). «BFO: Базовая формальная онтология» . Прикладная онтология . 17 (1): 17–43. дои : 10.3233/AO-220262 . S2CID 247354631 .

Внешние ссылки

Базовая формальная онтология (BFO)
Базовая формальная онтология 2.0
Базовая формальная онтология 2020 (GitHub)
Смит, Барри (15 февраля 2018 г.). Онтология для системной инженерии (краткая версия) . Архивировано из оригинала 21 декабря 2021 года.

[1] Арп, Роберт; Смит, Барри; Спир, Эндрю Д. (2015). Построение онтологий с помощью базовой формальной онтологии . МТИ Пресс. ISBN 978-0-262-52781-1 .

[2] Гренон, П.; Смит, Б. (2004). «SNAP и SPAN: к динамической пространственной онтологии» (PDF) . Пространственное познание и вычисление . 4 (1): 69–103. Бибкод : 2004SpCC....4...69G . дои : 10.1207/s15427633scc0401_5 . S2CID 14469822 .

[3] Смит, Барри; Варци, Ахилл К. (2003). «Указные и добросовестные границы: к онтологии пространственно расширенных объектов» . Международная конференция по теории пространственной информации (COSIT) . 30 (3): 103–119.

[4] Смит, Барри; Марк, Дэвид М. (2003). «Существуют ли горы? К онтологии форм рельефа» . Окружающая среда и планирование B . 30 (3): 411–428. Бибкод : 2003EnPlB..30..411S . CiteSeerX 10.1.1.739.3548 . дои : 10.1068/b12821 . S2CID 6160538 .

[BFO-5] Jump up to: ^а ^б «Базовая формальная онтология (БФО) 2020» . Проверено 24 июня 2021 г.

[6] «Онтологии и институты/группы, использующие BFO» . Базовая формальная онтология (BFO) . Проверено 2 декабря 2022 г.

[7] Открытый завод биомедицинских онтологий (OBO).

[8] Питер Морозов, Рон Рудницки, Джейсон Брайант, Роберт Фаррелл и Барри Смит, « Онтология совместной доктрины: эталон совместимости военных информационных систем », в книге «Семантические технологии для разведки, обороны и безопасности » (STIDS). CEUR том. 1325. стр. 2–9 (2015).

[9] Литейный цех промышленных онтологий

[10] «ИСО/МЭК 21838-2:2021» .

[11] «ИСО/МЭК 21838-1:2021» .

[12] ttps://www.buffalo.edu/news/releases/2024/02/department-of-defense-ontology.html .

[13] Министерство обороны, разведывательное сообщество использует ресурс, разработанный онтологами UB.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]