BFOBasic Formal Ontology

First-Order Logic Based Implementation

One result of the preparation of the new ISO/IEC 21838-2 standard version of BFO is the first-order logic axiomatization of BFO, which is now available in compiled form here. A version of these axioms in Common Logic syntax, together with consistency proofs and other material, is available on the ISO Standards Maintenance Portal here.

All files are available under a Creative Commons “Attribution 4.0 International” license.

An earlier FOL axiomatization of BFO, using the Isabelle language, is still available here. This paper describes an axiomatization of BFO using projection functions. Other papers relevant to the first-order logic formalization of BFO are listed below.

  1. Bittner, T., M. Donnelly, and B. Smith, A Spatio-Temporal Top-Level Ontology for Geographic Information Processing, in Technical report, Department of Philosophy, SUNY Buffalo. 2007.
  2. Bittner, T. and M. Donnelly, A formal theory of parthood, connectedness, and qualitative size and distance relations among anatomical entities, In C. Price, editor, Proc. of the 21st Annual Workshop on Qualitative Reasoning (QR07), 2007.
  3. Bittner, T. and M. Donnelly. A theory of granular parthood based on qualitative cardinality and size measures. in Proceedings of the fourth International Conference on Formal Ontology in Information Systems, FOIS06. 2006.
  4. Bittner, T. and M. Donnelly. A temporal mereology for distinguishing between integral objects and portions of stuff. In R. Holte and A. Howe (eds.), Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07).
  5. Donnelly, M., Containment relations in anatomical ontologies, in AIMA Annual Symposium Proceedings. 2005. p. 206-210.
  6. Donnelly, M. and T. Bittner. Spatial relations between classes of individuals. in Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. International Conference (COSIT 2005). 2005: Springer Verlag.
  7. Bittner, T., M. Donnelly, and B. Smith, Endurants and Perdurants in Directly Depicting Ontologies. AI Communications, 2004. 14(4): p. 247-258.
  8. Donnelly, M. On Parts and Holes: The Spatial Structure of the Human Body. in Proceedings of the 11th World Congress on Medical Informatics (MedInfo-04). 2004.
  9. Smith, B., et al., Relations in Biomedical Ontologies. Genome Biology, 2005. 6(5): p. r46.
  10. Grenon, P., B. Smith, and L. Goldberg. Biodynamic Ontology: Applying BFO in the Biomedical Domain. in Ontologies in Medicine: Proceedings of the Workshop on Medical Ontologies. 2003: IOS Press, Amsterdam.
  11. Grenon, P. and B. Smith, SNAP and SPAN: Towards Dynamic Spatial Ontology. Spatial Cognition and Computation, 2004. 4(1): p. 69--103.
  12. Smith, B. and P. Grenon, The Cornucopia of Formal-Ontological Relations, in Dialectica 58: 3 (2004), 279–296.