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

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.

In logic, philosophy and related fields, mereology is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets.

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.

In electrical engineering and power system automation, the International Electrotechnical Commission 60870 standards define systems used for telecontrol. Such systems are used for controlling electric power transmission grids and other geographically widespread control systems. By use of standardized protocols, equipment from many different suppliers can be made to interoperate. IEC standard 60870 has six parts, defining general information related to the standard, operating conditions, electrical interfaces, performance requirements, and data transmission protocols. The 60870 standards are developed by IEC Technical Committee 57.

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, and 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 ISO/IEC 15288Systems and software engineering — System life cycle processes is a technical standard in systems engineering which covers processes and lifecycle stages, developed by the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). Planning for the ISO/IEC 15288:2002(E) standard started in 1994 when the need for a common systems engineering process framework was recognized. The previously accepted standard MIL STD 499A (1974) was cancelled after a memo from the United States Secretary of Defense (SECDEF) prohibited the use of most U.S. Military Standards without a waiver. The first edition was issued on 1 November 2002. Stuart Arnold was the editor and Harold Lawson was the architect of the standard. In 2004 this standard was adopted by the Institute of Electrical and Electronics Engineers as IEEE 15288. ISO/IEC 15288 was updated in 2008, then again in 2015 and 2023.

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.

MPEG-D is a group of standards for audio coding formally known as ISO/IEC 23003 - MPEG audio technologies, published since 2007.

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.

ISO/IEC JTC 1/SC 36 Information Technology for Learning, Education and Training is a standardization subcommittee (SC), which is part of the Joint Technical Committee ISO/IEC JTC 1 of the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC), that develops and facilitates standards within the field of information technology (IT) for learning, education and training (LET). ISO/IEC JTC 1/SC 36 was established at the November 1999 ISO/IEC JTC 1 plenary in Seoul, Korea. The subcommittee held its first plenary meeting in March 2000 in London, United Kingdom. The international secretariat of ISO/IEC JTC 1/SC 36 is the Korean Agency for Technology and Standards (KATS), located in the Republic of Korea.

PRESENT is a lightweight block cipher, developed by the Orange Labs (France), Ruhr University Bochum (Germany) and the Technical University of Denmark in 2007. PRESENT was designed by Andrey Bogdanov, Lars R. Knudsen, Gregor Leander, Christof Paar, Axel Poschmann, Matthew J. B. Robshaw, Yannick Seurin, and C. Vikkelsoe. The algorithm is notable for its compact size.

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.