Базовая формальная онтология ( BFO ) — это онтология верхнего уровня , разработанная Барри Смитом и его коллегами в целях содействия взаимодействию между онтологиями предметной области, построенными на ее основе посредством процесса нисходящего заполнения. [1] Руководство по созданию онтологий доменов, совместимых с BFO, было опубликовано MIT Press в 2015 году. [2] Стандарт «ISO/IEC 21838-2» ., в настоящее время находится в разработке.
Структура БФО основана на разделении сущностей на две непересекающиеся категории непрерывных и происходящих , первая состоит из объектов и пространственных областей, вторая содержит процессы, мыслимые как протяженные (или охватывающие) время. Таким образом, BFO стремится объединить время и пространство в единую структуру.
BFO был принят в качестве основополагающей онтологии более чем в 300 онтологических проектах [3] , главным образом в областях биомедицинской онтологии и онтологии безопасности и защиты (разведки). [1] Пример применения BFO можно увидеть в Ontology for Biomedical Investigations (OBI) и в Open Biomedical Ontologies Foundry (OBO).