- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology
Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte
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)
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.Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
The Industrial Ontologies Foundry (IOF) Core Ontology.Milos Drobnjakovic, Boonserm Kulvatunyou, Farhad Ameri, Chris Will, Barry Smith & Albert Jones - 2022 - FOMI 2022: 12th International Workshop on Formal Ontologies Meet Industry, September 12-15, 2022, Tarbes, France.
The Industrial Ontologies Foundry (IOF) perspectives.Mohamed Karray, Neil Otte, Rahul Rai, Farhad Ameri, Boonserm Kulvatunyou, Barry Smith, Dimitris Kiritsis, Chris Will, Rebecca Arista & Others - 2021 - Proceedings: Industrial Ontology Foundry (IOF) Achieving Data Interoperability Workshop, International Conference on Interoperability for Enterprise Systems and Applications, Tarbes, France, March 17-24, 2020.
BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.
Toward an Ontology of Commercial Exchange.Jonathan Vajda, Eric Merrell & Barry Smith - 2019 - In Jonathan Vajda, Eric Merrell & Barry Smith (eds.), Proceedings of the Joint Ontology Workshops (JOWO), Graz.
Enriching the Functionally Graded Materials (FGM) Ontology for digital manufacturing.Munira Mohd Ali, Ruoyu Yang, Binbin Zhang, Francesco Furini, Rahul Rai, J. Neil Otte & Barry Smith - 2021 - International Journal of Production Research 59 (18):5540-5557.
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. Springer. pp. 402-409.
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.
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.
An Overview of the BFO - Basic Formal Ontology - and Its Applicability for Satellite Systems.Adolfo Americano Brandão & Geilson Loureiro - 2020 - In Franciele Braga Machado Tullio & Lucio Mauro Braga Machado (eds.), Ampliação e Aprofundamento de Conhecimentos nas Áreas das Engenharias,. Atena Editora. pp. 30-38.
Analytics
Added to PP
2019-09-28
Downloads
887 (#24,318)
6 months
80 (#73,512)
2019-09-28
Downloads
887 (#24,318)
6 months
80 (#73,512)
Historical graph of downloads
Author Profiles
Citations of this work
BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.
Capabilities: An ontology.John Beverley, David Limbaugh, Eric Merrell, Peter Koch & Barry Smith - 2024 - In Ítalo Oliveira (ed.), Joint Ontologies Workshops (JOWO). Twente, Netherlands: CEUR. pp. 1-14.
References found in this work
Intention, plans, and practical reason.Michael Bratman - 1987 - Cambridge: Cambridge, MA: Harvard University Press.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration.Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel & Suzanna Lewis - 2007 - Nature Biotechnology 25 (11):1251-1255.
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. Springer. pp. 402-409.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-qfrlh dc2