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

In Proceedings of the Joint Ontology Workshops (JOWO), Graz (2019)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive

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 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.
Dealing with elements of medical encounters: An approach based on ontological realism.Farinelli Fernanda, Almeida Mauricio, Elkin Peter & Barry Smith - 2016 - Proceedings of the Joint International Conference on Biological Ontology and Biocreative 1747.

Analytics

Added to PP
2019-09-28

Downloads
648 (#22,536)

6 months
67 (#57,833)

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

References found in this work

No references found.

Add more references