Proceedings of the Second International Workshop on Ontology and Semantic Web for Manufacturing (OSEMA 2012) Collocated with the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012) Graz, Austria. July 24, 2012 Edited by Dimitra Anastasiou Luis Ramos Sylvere Krima Yuh-Jen Chen August 17, 2012 Preface Semantic Manufacturing can be defined as the integration of emerging Semantic Web technologies with current advanced manufacturing approaches. For instance, Concurrent Manufacturing, Design for Manufacturing and Flexible Manufacturing Systems. This approach mainly aims: i) to enable reasoning on product requirements, and ii) to stress intra- and inter-enterprise interoperability by means of ontologies design for this purpose. We are interested in bringing up researchers that are working in topics covered by OSEMA, but are not limited to: - Semantic Web support for the development of new products. - Onto CAD. - Enterprise ontology and modular enterprise ontology. - OWL issues in the manufacturing domain. - Semantic products versioning. - Semantic enterprise interoperability - Semantic search over the manufacturing information space. - Semantic Linked manufacturing -Ontology repositories for the manufacturing domain. OSEMA is a series of workshops; OSEMA 2012 is the second one. Below are the details of our previous workshop together with links to its current web page and CEUR proceedings: OSEMA 2011. The First International Workshop in Ontology and Semantic Web for Manufacturing (OSEMA 2011), collocated with 8th Extended Semantic Web Conference, ESWC2011. Heraklion, Crete, Greece, May 29, 2011. http://www.osema.org.ve/ http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-748/ ii This volume contains the papers presented at OSEMA2012: the Second International Workshop on Ontology and Semantic Web for Manufacturing, held on July 24, 2012 in Graz, Austria. There were 8 submissions. Each submission was reviewed by three program committee members. From those, one was rejected, and 7 were accepted. Two papers were withdrawn, and finally, 5 papers were published in this volume. Our program also included a keynote speaker: Michael Grüninger (University of Toronto – Canada) We would like to thank our program committee members for carefully reviewing the submissions and giving constructive feedback, our keynote speaker and the authors for their interest in participating in OSEMA 2012. We also want to express our thankfulness to the Organizing Committee of ICBO/FOIS 2012 for giving the opportunity of hosting this new edition of OSEMA and granting the complementary registration of one organizer. August 17, 2012 Bremen, Washintong, D.C., Kaohsiung Dimitra Anastasiou Luis Ramos Sylvere Krima Yuh-Jen Chen iii Program Committee Abdelaziz Bouras LIESP Lab, Cerral Center, University Lumiere Lyon 2, France. Adila Alfa Krisnadhi Kno.es.is Center, Wright State University, Dayton, Ohio. Faculty of Computer Science, Universitas Indonesia. Amina Chniti IBM France INSERM. George Tsinarakis Technical University of Crete Jiye Ai UCLA Marcela Vegetti INGAR, Argentina Oliver Eck University of Applied Sciences Hochschule Konstanz. Richard Gil University Simón Bólivar, Venezuela. Suvodeep Mazumdar University of Sheffield Thomas Moser Vienna University of Technology iv Table of Contents Preface ii A Systematic Approach to Developing Ontologies for 1 Manufacturing Service Modeling Farhad Ameri, Colin Urbanovsky and Christian McArthur Hetereogeneous Logics for Semantic Manufacturing 15 Luis Ramos Virtual Factory Data Model 28 Walter Terkaj, Giulia Pedrielli and Marco Sacco Virtual Factory Data Model to support Performance 42 Evaluation of Production Systems. Walter Terkaj and Marcello Urgo Linking Process Models and Operating Data for Exploration 56 and Visualization Wenzel Ken and Marcel Tisztl v