%0 Conference Paper %1 conf/jowo/0001ACKSWO19 %A Smith, Barry %A Ameri, Farhad %A Cheong, Hyunmin %A Kiritsis, Dimitris %A Sormaz, Dusan %A Will, Chris %A Otte, J. Neil %B JOWO %D 2019 %E Barton, Adrien %E Seppälä, Selja %E Porello, Daniele %I CEUR-WS.org %K dblp %T A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology. %U http://dblp.uni-trier.de/db/conf/jowo/jowo2019.html#0001ACKSWO19 %V 2518

@inproceedings{conf/jowo/0001ACKSWO19, added-at = {2023-03-10T00:00:00.000+0100}, author = {Smith, Barry and Ameri, Farhad and Cheong, Hyunmin and Kiritsis, Dimitris and Sormaz, Dusan and Will, Chris and Otte, J. Neil}, biburl = {https://www.bibsonomy.org/bibtex/27a69a5bb9d99160e5fb4bd0618f50694/dblp}, booktitle = {JOWO}, crossref = {conf/jowo/2019}, editor = {Barton, Adrien and Seppälä, Selja and Porello, Daniele}, ee = {https://ceur-ws.org/Vol-2518/paper-FOMI6.pdf}, interhash = {61c8d79d95dd9baf08ffe8f616d5785b}, intrahash = {7a69a5bb9d99160e5fb4bd0618f50694}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T12:05:26.000+0200}, title = {A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology.}, url = {http://dblp.uni-trier.de/db/conf/jowo/jowo2019.html#0001ACKSWO19}, volume = 2518, year = 2019 }