|BFOBasic Formal Ontology|
|Home | Overview | Manual | Publications | Users | IFOMIS|
BFO, the Basic Formal Ontology, is an upper level ontology that grew out of a philosophical orientation which overlaps with that of DOLCE and SUMO. Unlike these, however, it is narrowly focused on the task of providing a genuine upper ontology which can be used in support of domain ontologies developed for scientific research, as for example in biomedicine within the framework of the OBO Foundry. Thus BFO does not contain physical, chemical, biological or other terms which would properly fall within the special sciences domains.
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.
(Current Version: 1.1.1)
|Last changed by Holger Stenzhorn on 27 March 2013|