A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology

In Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte (eds.), ”, Proceedings of the Joint Ontology Workshops (JOWO), Graz (2019)
  Copy   BIBTEX


Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Industrial Ontologies Foundry (IOF) Core Ontology.Milos Drobnjakovic, Boonserm Kulvatunyou, Farhad Ameri, Chris Will, Barry Smith & Albert Jones - 2022 - FOMI 2022: 12th International Workshop on Formal Ontologies Meet Industry, September 12-15, 2022, Tarbes, France.
BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.
The Industrial Ontologies Foundry (IOF) perspectives.Mohamed Karray, Neil Otte, Rahul Rai, Farhad Ameri, Boonserm Kulvatunyou, Barry Smith, Dimitris Kiritsis, Chris Will, Rebecca Arista & Others - 2021 - Proceedings: Industrial Ontology Foundry (IOF) Achieving Data Interoperability Workshop, International Conference on Interoperability for Enterprise Systems and Applications, Tarbes, France, March 17-24, 2020.
The Industrial Ontologies Foundry proof-of-concept project.Evan Wallace, Dimitris Kiritsis, Barry Smith & Chris Will - 2018 - In Ilkyeong Moon, Gyu M. Lee, Jinwoo Park, Dimitris Kiritsis & Gregor von Cieminski (eds.), Advances in Production Management Systems. Smart Manufacturing for Industry 4.0. IFIP. pp. 402-409.


Added to PP

776 (#21,337)

6 months
150 (#25,336)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

J. Neil Otte
Johns Hopkins University Applied Physics Laboratory
Barry Smith
University at Buffalo

Citations of this work

BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.

Add more citations