Basic Formal Ontology (BFO) (UX7)
The theory behind BFO has been developed and formulated by BarrySmith 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. (UX8)