Basic Formal Ontology (BFO)

The theory behind BFO has been developed and formulated by Barry Smith and PierreGrenon. 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.

See: http://www.ifomis.uni-saarland.de/bfo/