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 publication

Abstract

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

Publication

2023

Vice VRsa: Balancing Bystander’s and VR user’s Privacy through Awareness Cues Inside and Outside VR

Promoting mutual awareness and privacy among virtual reality users and…

Publication

2011

Two times Technical Achievement Award winner is presenting at the DANSIS Seminar

The two-time Technical Achievement Award by the Academy of Motion…

Publication

1993

Turbulent Wind Fields for Gaseous Phenomena

The realistic depiction of smoke, steam, mist and water reacting to a…

Publication

2015

3D Visualization Of Cadnano And Protein Data Using A Cloud Streaming Framework For Web-Based Large Model Viewing

Available on request…

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