BFOBasic Formal Ontology

Home

The Basic Formal Ontology (BFO) is a small, upper level ontology that is designed for use in supporting information retrieval, analysis and integration in scientific and other domains. BFO is a genuine upper integration in scientific and other domains. Thus it does not contain physical, chemical, biological or other terms which would properly fall within the coverage domains of the special sciences. BFO is used by more than 100 ontology-driven endeavors throughout the world.

A video introduction to BFO can be found here.

The BFO project was initiated in 2002 under the auspices of the project Forms of Life sponsored by the Volkswagen Foundation. The theory behind BFO was developed first by Barry Smith and Pierre Grenon and presented in a series of publications listed here.

Since then important contributions to BFO have been made by many people, including:

...and by more than hundred other members of the BFO Discussion Group.

News

Implementations

(Current Version: 1.1.1)

Material

Technical Reports

Publications