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

Download PDF

Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will, J. Neil Otte

Published: 01 Jan 2019, Last Modified: 10 Nov 2024JOWO 2019EveryoneRevisionsBibTeXCC BY-SA 4.0