Barry Smith 0001, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will, J. Neil Otte. A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology. In Adrien Barton, Selja Seppälä, Daniele Porello, editors, Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019. Volume 2518 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.