Basic Formal Ontology

BFO 2.0

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.[1]

The ontology arose against the background of research in ontologies in the domain of geospatial information science by David Mark, Pierre Grenon, Achille Varzi and others,[2] with a special role for the study of vagueness and of the ways sharp boundaries in the geospatial and other domains are created by fiat.[3][4]

BFO has passed through four major releases.[5] The current revision was released in 2020,[6] and this forms the basis of the standard ISO/IEC 21838-2,[7] which was released by the Joint Committee of the International Standards Organization and International Electrotechnical Commission in 2021.[8]

The structure of BFO is based on a division of entities into two disjoint categories of continuant and occurrent, the former consists of objects and spatial regions, the latter contains processes conceived as extended through (or spanning) time. BFO thereby seeks to consolidate both time and space within a single framework.

  1. ^ Arp, Robert; Smith, Barry; Spear, Andrew D. (2015). Building Ontologies with Basic Formal Ontology. MIT Press. ISBN 978-0-262-52781-1.
  2. ^ Grenon, P.; Smith, B. (2004). "SNAP and SPAN: Towards Dynamic Spatial Ontology" (PDF). Spatial Cognition and Computation. 4 (1): 69–103. Bibcode:2004SpCC....4...69G. doi:10.1207/s15427633scc0401_5. S2CID 14469822.
  3. ^ Smith, Barry; Varzi, Achille C. (2003). "Fiat and bona fide boundaries: Towards an ontology of spatially extended objects". International Conference on Spatial Information Theory (COSIT). 30 (3): 103–119.
  4. ^ Smith, Barry; Mark, David M. (2003). "Do mountains exist? Towards an ontology of landforms". Environment and Planning B. 30 (3): 411–428. Bibcode:2003EnPlB..30..411S. CiteSeerX 10.1.1.739.3548. doi:10.1068/b12821. S2CID 6160538.
  5. ^ "BFO Release History". National Center for Ontological Research Wiki. Archived from the original on 9 July 2024. Retrieved 22 November 2024.
  6. ^ "Basic Formal Ontology (BFO) 2020". Retrieved 24 June 2021.
  7. ^ Standard may be downloaded from "ISO/IEC 21838-2".
  8. ^ "ISO/IEC 21838-2:2021 Information technology - Top-level ontologies (TLO) Part 2: Basic Formal Ontology (BFO)". ISO.org. International Standards Organization. November 2021. Retrieved 22 November 2024.