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.

Author Profiles

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


Added to PP

704 (#20,078)

6 months
99 (#35,955)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?