README.md

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. 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: BFO 2.0 Now Released

  • Following extensive discussions in the BFO community the decision has been made to release this version 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). 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.
  • 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 at ICBO, Lisbon, July 28, 2015
  • Building Ontologies with Basic Formal Ontology published by MIT Press, August 2015

Implementations

Current Version: 2.0

Previous Version: 1.1.1

Material

Publications

Code license: New BSD License

Content license: Creative Commons 4.0 BY

Описание

BFO repository including source code and latest documents

Конвейеры
0 успешных
0 с ошибкой