Базовая формальная онтология - Basic Formal Ontology

Базовая формальная онтология (BFO) это онтология верхнего уровня разработан Барри Смит и его соратников с целью содействия взаимодействию между онтологиями предметной области, построенными в его терминах посредством процесса нисходящего населения.^[1] Руководство по созданию BFO-совместимых онтологий доменов было опубликовано MIT Press в 2015 году.^[2] Стандарт «Информационные технологии - Онтологии верхнего уровня (TLO) - Часть 2: Базовая формальная онтология (BFO)». ИСО / МЭК 21838-2. в настоящее время находится в стадии разработки.

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

Приложения

BFO была принята в качестве базовой онтологии более чем 300 проектами онтологий,^[3] в основном в области биомедицинской онтологии и онтологии безопасности и защиты (интеллекта).^[1] Пример применения BFO можно увидеть в Онтология для биомедицинских исследований (OBI) и в Литейное производство открытых биомедицинских онтологий.

Смотрите также

• Формальная онтология
• Верхняя онтология

использованная литература

1. "Главная". Базовая формальная онтология (BFO). Получено 20 декабря 2017.
2. Арп, Роберт; Смит, Барри; Копье, Эндрю Д. (2015). Построение онтологий с помощью базовой формальной онтологии. MIT Press. ISBN  978-0-262-52781-1.
3. «Пользователи». Базовая формальная онтология (BFO). Получено 10 сентября 2018.

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

• Биттнер, Томас; Доннелли, Морин; Смит, Барри (2009). «Пространственно-временная онтология для интеграции географической информации» (PDF). Международный журнал географической информатики. 23 (6): 765–798. Дои:10.1080/13658810701776767. S2CID  5055085.
• Grenon, P .; Смит, Б. (2004). «SNAP и SPAN: к динамической пространственной онтологии» (PDF). Пространственное познание и вычисление. 4 (1): 69–103. Дои:10.1207 / s15427633scc0401_5. S2CID  14469822.
• Янсен, Людгер (октябрь 2007 г.). «Тенденции и другие реализуемые аспекты медицинских информационных наук» (PDF). Монист. 90 (4): 534–554. Дои:10.5840 / monist200790436.
• Манн, Кэтрин; Смит, Барри, ред. (2013). Прикладная онтология: введение. Вальтер де Грюйтер. ISBN  9783110324860.
• Нейгауз, Фабиан; Гренон, Пьер; Смит, Барри (2004). «Формальная теория веществ, качеств и универсалий» (PDF). В Варци, Achille C .; Vieu, Laure (ред.). Формальная онтология в информационных системах: материалы третьей международной конференции (FOIS-2004). Границы искусственного интеллекта и приложений. IOS Press. С. 49–59. ISBN  1586034685. ISSN  0922-6389.
• Шнайдер, Люк (2010). «Возвращаясь к онтологической площади» (PDF). В Гальтоне, Антоний; Mizoguchi, Riichiro (ред.). Формальная онтология в информационных системах: материалы шестой международной конференции (FOIS 2010). Границы искусственного интеллекта и приложений. 209. IOS Press. С. 73–. ISBN  9781607505341. ISSN  0922-6389.
• Smith, B .; Гренон, П. (2004). "Рог изобилия формально-онтологических отношений" (PDF). Диалектика. 58 (3): 79–296. Дои:10.1111 / j.1746-8361.2004.tb00305.x.
• Смит, Барри; Цеустерс, Вернер; Klagges, Берт; Келер, Якоб; Кумар, Ананд; Ломакс, Джейн; Мунгалл, Крис; Нейгауз, Фабиан; Ректор Алан; Россе, Корнелиус (2005). «Отношения в биомедицинских онтологиях». Геномная биология. 6 (5): R46. Дои:10.1186 / gb-2005-6-5-r46. PMID  15892874. S2CID  11117072.
• Smith, B .; Цеустерс, В. (2010). «Онтологический реализм как методология согласованной эволюции научных онтологий»"". Прикладная онтология. 5 (3–4): 139–188. Дои:10.3233 / AO-2010-0079. ЧВК  3104413. PMID  21637730.

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

• Базовая формальная онтология (BFO)
• Базовая формальная онтология 2.0
• Смит, Барри (15 февраля 2018 г.). Онтология для системной инженерии (короткая версия).