A set of documents that provide guidance to the links among the supporting artifacts are found here BFO 21838-2 Guidance Documents These guidance documents include:
The formalization of BFO 2020 is sub-divided into modules of axioms. These modules are: continuant mereology, existence instantiation, generic dependence, history, material entity, occurrent mereology, order, participation, spatial, spatio-temporal, specific dependency, temporal region, temporalized relations and universal declaration.
Serializations of these axioms by module are provided in three formats: Common Logic, First-order Logic and Prover 9
The
model used to prove the consistency of the Common Logic formalization
of BFO 2020 is provided in Common Logic Interchange format, Prover 9 format and Clausetester format.
Files
for BFO 2020 are available in both Functional-style bfo-2020.ofn and RDF/XML bfo-2020.owl. An RDF/XML format of BFO 2020
without the temporalized object properties which corresponds
to ISO/IEC:21838-2 A.1.2 is available here bfo-2020-without-some-all-times.owl
. A Functional-style version of BFO 2020 in which the IRIs are
replaced with the corresponding labels to make it more readable is
available here bfo-2020-labeled.ofn .