# BFO

**Repository Path**: oldshan/BFO

## Basic Information

- **Project Name**: BFO
- **Description**: No description available
- **Primary Language**: HTML
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-06-23
- **Last Updated**: 2024-11-24

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Basic Formal Ontology (BFO)

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 ontology. 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 130 ontology-driven endeavors throughout the world.

The BFO project was initiated in 2002 under the auspices of the project *Forms of Life* sponsored by the [Volkswagen Foundation](http://www.volkswagen-stiftung.de/english.html). The theory behind BFO was developed first by [Barry Smith](http://ontology.buffalo.edu/smith) and [Pierre Grenon](https://uk.linkedin.com/pub/pierre-grenon/8/386/399) and presented in a series of publications listed [here](http://www.ifomis.org/bfo/publications).

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

- [Mathias Brochhausen](http://dbmi.uams.edu/faculty/mathias-brochhausen-ph-d)
- [Werner Ceusters](http://www.referent-tracking.com/RTU/?page=ceusters_vita)
- [Melanie Courtot](http://ca.linkedin.com/in/mcourtot)
- [Randall Dipert](http://www.philosophy.buffalo.edu/people/faculty/dipert/)
- [Janna Hastings](http://www.ebi.ac.uk/~hastings)
- [Chris Mungall](http://berkeleybop.org/person/chris-mungall)
- [Darren Natale](http://pir.georgetown.edu/pirwww/aboutpir/natalebio.shtml)
- [Fabian Neuhaus](https://www.linkedin.com/pub/fabian-neuhaus/59/a77/b96)
- [James A. Overton](http://james.overton.ca)
- [Bjoern Peters](http://www.liai.org/pages/faculty-peters)
- [Ron Rudnicki](https://www.linkedin.com/pub/ron-rudnicki/4/b00/957)
- [Alan Ruttenberg](http://sciencecommons.org/about/whoweare/ruttenberg)
- [Stefan Schulz](http://purl.org/steschu)
- [Selja Seppälä](https://seljaseppala.wordpress.com/)
- [Holger Stenzhorn](http://purl.org/holger)
- [Jie Zheng](http://cbil.upenn.edu/profile-staff_bio/39)

... and by more than hundred other members of the [BFO Discussion Group](http://groups.google.com/group/bfo-discuss).


## News: BFO 2.0 Now Released

- Following extensive discussions in the BFO community the decision has been made to release [this version](http://purl.obolibrary.org/obo/bfo/2.0/bfo.owl) as BFO 2.0 OWL. This includes all of the classes defined in the Specification and User's Guide, but only those of the relations for which we have remains authoritative, and is being implemented in the first-order logic version of BFO ([BFO 2.0 CLIF](https://ontohub.org/bfo)). Our plans to incorporate core relations into BFO 2.0 OWL have been postponed to version 2.1, an experimental version of which is available [here](http://purl.obolibrary.org/obo/bfo/2014-05-03/bfo.owl).
- The tool that supprts automated conversion from BFO 1.1 to BFO 2.0 are available at: http://bfoconvert.hegroup.org/
- [Event: Introduction to Basic Formal Ontology 2.0](http://ncorwiki.buffalo.edu/index.php/Basic_Formal_Ontology_2015) at [ICBO, Lisbon](http://icbo2015.fc.ul.pt/), July 28, 2015
- [Building Ontologies with Basic Formal Ontology](http://mitpress.mit.edu/books/building-ontologies-basic-formal-ontology) published by MIT Press, August 2015


## Implementations

Current Version: 2.0

- BFO 2.0 Specification and User's Guide ([doc](https://github.com/BFO-ontology/BFO/raw/master/docs/bfo2-reference/BFO2-Reference.docx)) ([pdf](https://github.com/BFO-ontology/BFO/raw/master/docs/bfo2-reference/BFO2-Reference.pdf))
- [BFO 2.0 OWL](https://raw.githubusercontent.com/BFO-ontology/BFO/master/releases/2.0/bfo.owl) created by [James A. Overton](http://james.overton.ca), [Alan Ruttenberg](https://www.linkedin.com/in/alanruttenberg), [Jie Zheng](http://cbil.upenn.edu/profile-staff_bio/39) and others
- [BFO 2.0 OBO](https://raw.githubusercontent.com/BFO-ontology/BFO/master/releases/2.0/bfo.obo) created by [Jie Zheng](http://cbil.upenn.edu/profile-staff_bio/39)
- [BFO 2.0 CLIF (draft)](https://ontohub.org/bfo) first-order logic version of BFO created by [Fabian Neuhaus](https://www.linkedin.com/pub/fabian-neuhaus/59/a77/b96) and others

Previous Version: 1.1.1

- [OWL-DL](http://ifomis.uni-saarland.de/bfo/owl) - created by [Holger Stenzhorn](http://purl.org/holger) with large contributions from Andrew Spear and others ([HTML view](http://www.mygrid.org.uk/OWL/Presentation?url=http%3A%2F%2Fwww.ifomis.org%2Fbfo%2F1.1))
- [Isabelle](http://ifomis.uni-saarland.de/bfo/fol) (FOL) - created by [Thomas Bittner](http://www.acsu.buffalo.edu/~bittner3)
- [OBO](http://ifomis.uni-saarland.de/bfo/obo) - created by [Chris Mungall](http://berkeleybop.org/person/chris-mungall)

### Material

- [Visualization of BFO 2.0 hierarchy](http://ontology.buffalo.edu/bfo/BFO2.png)
- [Discussion Group](http://ifomis.uni-saarland.de/bfo/discussion)
- [Video introduction to BFO](http://youtu.be/Yl6_M1sQEAQ)

### Publications

- Pierre Grenon and Barry Smith: ["*SNAP* and *SPAN*: Towards Dynamic Spatial Ontology"](http://ontology.buffalo.edu/smith/articles/SNAP_SPAN.pdf)
- Pierre Grenon, Barry Smith and Louis Goldberg: ["Biodynamic Ontology: Applying *BFO* in the Biomedical Domain"](http://ontology.buffalo.edu/medo/biodynamic.pdf)
- Barry Smith, Werner Ceusters, *et al*. ["Relations in Biomedical Ontologies"](http://genomebiology.com/2005/6/5/R46)
- Barry Smith, ["Classifying Processes: An Essay in Applied Ontology"](http://ontology.buffalo.edu/smith/articles/Classifying_Processes.pdf)
- Barry Smith, ["On Classifying Material Entities in Basic Formal Ontology"](http://ontology.buffalo.edu/smith/articles/material_entities.pdf)
- Selja Seppälä, Barry Smith and Werner Ceusters, ["Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology"](http://ontology.buffalo.edu/smith/articles/fois2014.pdf)
- Robert Arp, Barry Smith and Andrew Spear, [*Building Ontologies with Basic Formal Ontology*](http://mitpress.mit.edu/books/building-ontologies-basic-formal-ontology)

<b>Code license:</b> [New BSD License](http://opensource.org/licenses/BSD-3-Clause)

<b>Content license:</b> [Creative Commons 3.0 BY](http://creativecommons.org/licenses/by/3.0/)