 Basic Formal Ontology

Basic Formal Ontology (BFO) is a top-level ontology developed by Barry Smith and his associates for the purposes of promoting interoperability among domain ontologies built in its terms through a process of downward population.A guide to building BFO-conformant domain ontologies was published by MIT Press in 2015.