Basic Formal Ontology

Last updated

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]

Contents

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, documented here. The current revision was released in 2020, [5] and this forms the basis of the standard "ISO/IEC 21838-2"., which was released by the Joint Committee of the International Standards Organization and International Electrotechnical Commission in 2021.

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.

Applications

BFO has been adopted as a foundational ontology by over 450 ontology projects, [6] principally in the areas of biomedical ontology, [7] security and defense (intelligence) ontology, [8] and industry ontologies. [9] [5] Example applications of BFO can be seen in the Ontology for Biomedical Investigations (OBI).

In 2021, the standard ISO/IEC 21838-2:2021 Information Technology — Top-level Ontologies (TLO) — Part 2: Basic Formal Ontology (BFO) was published by the Joint Technical Committee of the International Standards Organization and the International Electrotechnical Commission. [10] ISO/IEC 21838 is a multi-part standard. Part 1 of the standard [11] specifies the requirements that must be met if an ontology is to be classified as a top-level ontology by the standard.

In January 2024, BFO and the Common Core Ontologies (CCO), a suite of BFO-extension ontologies, were adopted as the “baseline standards for formal DOD and IC ontology” development work in the DOD and Intelligence Community. A memorandum to this effect was signed by the chief data officers of the DOD, the Office of the Director of National Intelligence and the Chief Digital and Artificial Intelligence Office. [12] [13]

See also

Related Research Articles

<span class="mw-page-title-main">American National Standards Institute</span> American standards development organization

The American National Standards Institute is a private nonprofit organization that oversees the development of voluntary consensus standards for products, services, processes, systems, and personnel in the United States. The organization also coordinates U.S. standards with international standards so that American products can be used worldwide.

<span class="mw-page-title-main">Ada (programming language)</span> High-level programming language first released in 1980

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of May 2023, the standard, called Ada 2022 informally, is ISO/IEC 8652:2023.

<span class="mw-page-title-main">International Organization for Standardization</span> International standards development organization

The International Organization for Standardization is an independent, non-governmental, international standard development organization composed of representatives from the national standards organizations of member countries. Membership requirements are given in Article 3 of the ISO Statutes.

In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of terms and relational expressions that represent the entities in that subject area. The field which studies ontologies so conceived is sometimes referred to as applied ontology.

MPEG-7 is a multimedia content description standard. It was standardized in ISO/IEC 15938. This description will be associated with the content itself, to allow fast and efficient searching for material that is of interest to the user. MPEG-7 is formally called Multimedia Content Description Interface. Thus, it is not a standard which deals with the actual encoding of moving pictures and audio, like MPEG-1, MPEG-2 and MPEG-4. It uses XML to store metadata, and can be attached to timecode in order to tag particular events, or synchronise lyrics to a song, for example.

Mereology is the philosophical study of part-whole relationships, also called parthood relationships. As a branch of metaphysics, mereology examines the connections between parts and their wholes, exploring how components interact within a system. This theory has roots in ancient philosophy, with significant contributions from Plato, Aristotle, and later, medieval and Renaissance thinkers like Thomas Aquinas and John Duns Scotus. Mereology gained formal recognition in the 20th century through the pioneering works of Polish logician Stanisław Leśniewski, who introduced it as part of a comprehensive framework for logic and mathematics, and coined the word "mereology". The field has since evolved to encompass a variety of applications in ontology, natural language semantics, and the cognitive sciences, influencing our understanding of structures ranging from linguistic constructs to biological systems.

IEC 60027 is a technical international standard for letter symbols published by the International Electrotechnical Commission (IEC), comprising the following parts:

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts.

The ISO/IEC 11179 metadata registry (MDR) standard is an international ISO/IEC standard for representing metadata for an organization in a metadata registry. It documents the standardization and registration of metadata to make data understandable and shareable.

<span class="mw-page-title-main">Barry Smith (ontologist)</span> American philosopher

Barry Smith is an academic working in the fields of ontology and biomedical informatics. Smith is the author of more than 700 scientific publications, including 15 authored or edited books. He is one of the most widely cited living philosophers.

In information science, an upper ontology is an ontology that consists of very general terms that are common across all domains. An important function of an upper ontology is to support broad semantic interoperability among a large number of domain-specific ontologies by providing a common starting point for the formulation of definitions. Terms in the domain ontology are ranked under the terms in the upper ontology, e.g., the upper ontology classes are superclasses or supersets of all the classes in the domain ontologies.

The Common Information Model (CIM) is an electric power transmission and distribution standard developed by the electric power industry. It aims to allow application software to exchange information about an electrical network. It has been officially adopted by the International Electrotechnical Commission (IEC).

The Open Biological and Biomedical Ontologies (OBO) Foundry is a group of people dedicated to build and maintain ontologies related to the life sciences. The OBO Foundry establishes a set of principles for ontology development for creating a suite of interoperable reference ontologies in the biomedical domain. Currently, there are more than a hundred ontologies that follow the OBO Foundry principles.

<span class="mw-page-title-main">Alan Rector</span> British computer scientist

Alan L. Rector is a Professor of Medical Informatics in the Department of Computer Science at the University of Manchester in the UK.

ISO/IEC 27006 is an information security standard published by the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). Part of the ISO/IEC 27000 series of ISO/IEC Information Security Management System (ISMS) standards, it is titled Information technology - Security techniques - Requirements for bodies providing audit and certification of information security management systems.

The Ontology for Biomedical Investigations (OBI) is an open-access, integrated ontology for the description of biological and clinical investigations. OBI provides a model for the design of an investigation, the protocols and instrumentation used, the materials used, the data generated and the type of analysis performed on it. The project is being developed as part of the OBO Foundry and as such adheres to all the principles therein such as orthogonal coverage and the use of a common formal language. In OBI the common formal language used is the Web Ontology Language (OWL). As of March 2008, a pre-release version of the ontology was made available at the project's SVN repository.

ISO/IEC 38500 is an international standard for Corporate governance of information technology published jointly by the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). The standard is heavily based on the AS 8015-2005 Australian Standard for Corporate Governance of Information and Communication Technology, originally published in January 2005.

<span class="mw-page-title-main">Ontology engineering</span> Field that studies the methods and methodologies for building ontologies

In computer science, information science and systems engineering, ontology engineering is a field which studies the methods and methodologies for building ontologies, which encompasses a representation, formal naming and definition of the categories, properties and relations between the concepts, data and entities of a given domain of interest. In a broader sense, this field also includes a knowledge construction of the domain using formal ontology representations such as OWL/RDF. A large-scale representation of abstract concepts such as actions, time, physical objects and beliefs would be an example of ontological engineering. Ontology engineering is one of the areas of applied ontology, and can be seen as an application of philosophical ontology. Core ideas and objectives of ontology engineering are also central in conceptual modeling.

The International Electrotechnical Vocabulary (IEV) is managed list of terms and definitions organized by the International Electrotechnical Commission (IEC), which is grouped in classes. It serves to promote the global unification of terminology in the field of electrotechnology, electronics and telecommunications. It is developed by the IEC Technical Committee 1 (Terminology), and published as both the IEC 60050 series of standards and online as the Electropedia. The Electropedia database contains English and French definitions for more than 22 000 concepts, and provides terms in up to 18 other languages.

References

  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. 1 2 "Basic Formal Ontology (BFO) 2020" . Retrieved 24 June 2021.
  6. ↑ "Ontologies and institutions/groups using BFO". Basic Formal Ontology (BFO). Retrieved 2 December 2022.
  7. ↑ Open Biomedical Ontologies Foundry (OBO).
  8. ↑ Peter Morosoff, Ron Rudnicki, Jason Bryant, Robert Farrell and Barry Smith, "Joint Doctrine Ontology: A Benchmark for Military Information Systems Interoperability", in Semantic Technology for Intelligence, Defense and Security (STIDS). CEUR vol. 1325. pp. 2-9 (2015).
  9. ↑ Industrial Ontologies Foundry
  10. ↑ "Iso/Iec 21838-2:2021".
  11. ↑ "Iso/Iec 21838-1:2021".
  12. ↑ https://www.buffalo.edu/news/releases/2024/02/department-of-defense-ontology.html.
  13. ↑ DOD, Intelligence Community adopt resource developed by UB ontologists

Further reading

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.