Publication | Joint Ontology Workshops 2019
A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology
This paper describes the efforts made in a foundational ontology for the manufacturing industry, which would be essential in sharing data among customers and their applications.
Download publicationAbstract
A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology
Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Boonserm Kulvatunyou, Dusan Sormaz, Evan Wallace, Chris Will, J. Neil Otte
The Joint Ontology Workshops 2019
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 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.
Related Resources
2025
Connect with our Research Connections: Simulating the Urban Canopy’s Impact on Natural CoolingLearn about the latest research to quantify the urban canopy’s effect…
2023
BOP-Elites: A Bayesian Optimisation Approach to Quality Diversity Search with Black-Box descriptor functionsAn algorithm that efficiently tackles expensive black-box optimization…
2016
The Effect of Visual Appearance on the Performance of Continuous Sliders and Visual Analogue ScalesSliders and Visual Analogue Scales (VASs) are input mechanisms which…
2011
Simulation and the Future of Design Tools for Ecological ResearchAs buildings mediate between a complex external system (weather) and a…
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