Worldwide Sites

You have been detected as being from . Where applicable, you can see country-specific product information, offers, and pricing.

Change country/language X

Keyboard ALT + g to toggle grid overlay

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

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 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 Publications

Related Projects

Heading

Descriptive text. Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt magna aliqua in reprehenderit.

Heading

Descriptive text. Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt magna aliqua in reprehenderit.

Heading

Descriptive text. Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt magna aliqua in reprehenderit.