Publication
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 publicationRelated Resources
See what’s new.
01/01/2013
Exploring the Hedonic Quality of Slow Technology
Pace is an inseparable part of all technologies and consequently…
01/01/2014
Mimic: Visual Analysis of Online Micro-interactions
We present Mimic, an input capture and visual analytics system that…
01/01/2014
Retrieving Causally Related Functions from Natural-language Text for Biomimetic Design
Identifying biological analogies is a significant challenge in…
01/01/2016
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