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)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
First archival date: 2019-09-28
Latest version: 2 (2019-10-11)
View other versions
Added to PP index

Total views
435 ( #15,690 of 65,629 )

Recent downloads (6 months)
77 ( #9,437 of 65,629 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.