A methodological framework for ontology-driven instantiation of Petri Net manufacturing process models
Ecole polytechnique fédérale de Lausanne, Switzerland
In the last decade, the interest and effort towards the use of ontology-based solutions for knowledge management has significantly increased. Ontologies have been used in manufacturing to provide a formal representation of the domain knowledge in a way that is machine-understandable. However, despite the ability to formally represent the elements of a domain and their relations, ontologies themselves do not provide any kind of simulation and systems behaviour analysis capabilities. Manufacturing system knowledge may be translated into specific executable models by exploiting experience and human logical deduction. This can be also achieved using ontologies and semantic reasoning. The framework presented in this work aims to explore a W3C standard for inference rules, such as Semantic Web Rule Language (SWRL), and OWL ontology models to transform elements of a Knowledge-Base (KB) into Petri Net (PN) primitives. The combination of semantics and mathematical modelling techniques applied to the analysis of a simple automated assembly station highlights the existence of modelling patterns and the effectiveness of inference rules to automatically instantiate PN-based manufacturing system models.
Lecture at NEMO2018
Date/Time: Monday, July 16, 2018 at 14:00