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
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
SMIAFL-3
Upload history
First archival date: 2019-09-28
Latest version: 2 (2019-10-11)
View other versions
Added to PP index
2019-09-28

Total views
253 ( #19,902 of 54,561 )

Recent downloads (6 months)
82 ( #7,135 of 54,561 )

How can I increase my downloads?

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