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 to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite.
| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 2518 |
| State | Published - 2019 |
| Event | 2019 Joint Ontology Workshops Episode V: The Styrian Autumn of Ontology, JOWO 2019 - Graz, Austria Duration: Sep 23 2019 → Sep 25 2019 |
Keywords
- Advanced manufacturing industry
- Basic Formal Ontology (BFO)
- First-order logic
- Industrial Ontologies Foundry (IOF)
- Top-level ontology
Fingerprint
Dive into the research topics of 'A first-order logic formalization of the industrial ontologies foundry signature using basic formal ontology'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver