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

AbstractBasic 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 on the part of representatives from a number of branches of the advanced manufacturing industries to create a suite of ontologies to support digital manufacturing. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO that is designed to capture the meanings of principal terms used in manufacturing and related areas. This set of terms can be viewed as the signature common to the modules of the IOF ontology suite.

Download publication

Related Resources

See what’s new.



Exploring the Hedonic Quality of Slow Technology

Pace is an inseparable part of all technologies and consequently…



Mimic: Visual Analysis of Online Micro-interactions

We present Mimic, an input capture and visual analytics system that…



Retrieving Causally Related Functions from Natural-language Text for Biomimetic Design

Identifying biological analogies is a significant challenge in…



PhenoBlocks: Phenotype Comparison Visualizations

The differential diagnosis of hereditary disorders is a challenging…

Get in touch

Something pique your interest? Get in touch if you’d like to learn more about Autodesk Research, our projects, people, and potential collaboration opportunities.

Contact us