A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology

, , , , , &
In Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte (eds.), ”, Proceedings of the Joint Ontology Workshops (JOWO), Graz (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Industrial Ontologies Foundry proof-of-concept project.Evan Wallace, Dimitris Kiritsis, Barry Smith & Chris Will - 2018 - In Ilkyeong Moon, Gyu M. Lee, Jinwoo Park, Dimitris Kiritsis & Gregor von Cieminski (eds.), Advances in Production Management Systems. Smart Manufacturing for Industry 4.0. IFIP. pp. 402-409.
On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 1-13.
An Ontological Approach to Representing the Product Life Cycle.J. Neil Otte, Dimitris Kiritsi, Munira Mohd Ali, Ruoyu Yang, Binbin Zhang, Ron Rudnicki, Rahul Rai & Barry Smith - 2019 - Applied ontology 14 (2):1-19.
Toward an Ontology of Commercial Exchange.Jonathan Vajda, Eric Merrell & Barry Smith - 2019 - In Proceedings of the Joint Ontology Workshops (JOWO), Graz.
Formal ontology for biomedical knowledge systems integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
Functions in Basic Formal Ontology.Andrew D. Spear, Werner Ceusters & Barry Smith - 2016 - Applied ontology 11 (2):103-128.
Classifying Processes: An Essay in Applied Ontology.Barry Smith - 2012 - Ratio 25 (4):463-488.
Interoperability of disparate engineering domain ontologies using Basic Formal Ontology.Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty & Ian R. Grosse - 2019 - Journal of Engineering Design 31.
Dispositions and the Infectious Disease Ontology.Albert Goldfain, Barry Smith & Lindsay Cowell - 2010 - In Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS). IOS Press. pp. 400-413.
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press. pp. 227-240.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
Matching a Trope Ontology to the Basic Formal Ontology.Richard de Rozario - 2019 - Philosophies 4 (3):40.
Engineering ontologies for question answering.Marten Teitsma, Jacobijn Sandberg, Guus Schreiber, Bob Wielinga & Willem Robert van Hage - 2014 - Applied ontology 9 (1):1-25.
Dealing with elements of medical encounters: An approach based on ontological realism.Farinelli Fernanda, Almeida Mauricio, Elkin Peter & Barry Smith - 2016 - Proceedings of the Joint International Conference on Biological Ontology and Biocreative 1747.
TGF-beta signaling proteins and the Protein Ontology.Arighi Cecilia, Liu Hongfang, Natale Darren, Barker Winona, Drabkin Harold, Blake Judith, Barry Smith & Wu Cathy - 2009 - BMC Bioinformatics 10 (Suppl 5):S3.

Analytics

Added to PP
2019-09-28

Downloads
733 (#21,616)

6 months
123 (#32,274)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

J. Neil Otte
Johns Hopkins University Applied Physics Laboratory
Barry Smith
University at Buffalo

Citations of this work

BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.

Add more citations

References found in this work

No references found.

Add more references