1. Intelligent Systems Configuration Services for Flexible Dynamic Global Production Networks FLEXINET FP7 project 608627 – now in negotiation

2. The FLEXINET Concept

3. Basic premise - reference ontologies Any multi-system design or configuration method needs a common base of concepts from which to build and to share knowledge Text based concepts are not good enough – see next slide Formal languages like OWL are NOT sufficiently expressive to represent the complexities of manufacturing Common Logic based formalisms provide both a semantic capability and also an inference capability for compliance checking

4. Problem – multiple standards with multiple text based semantics Resource (ISO 15531-1; ISO 18629-1): Any device, tool and means, except raw material and final product components, at the disposal of the enterprise to produce goods or services. This definition includes ISO 10303-49 definition. Resource (ISO 10303-49): Something that may be described in terms of a behavior, a capability, or a performance measure that is pertinent to the process. Resource (ISO 15704): An enterprise entity that provides some or all of the capabilities required by the execution of an enterprise activity and/or business process. Are these definitions the same or different? How similar are they? Do they provide any basis across which sharing can be achieved? It is not possible to say definitively

5. Formal definitions using a Common Logic base (=> (Core.Resource ?r) (exists (?c) (and (Core.Capability ?c) (Core.hasCapability ?r ?c)))) :IC soft "Every resource may have some capability." (=> (Core.Resource ?r) (exists (?e) (and (Core.Enterprise ?e) (Core.isHeldBy ?r ?e)))) :IC soft "Every resource may be held by some enterprise." (=> (Core.Resource ?r) (exists (?p) (and (Core.Process ?p) (Core.isUsedBy ?r ?p)))) :IC soft "Every resource may be used by some process." Cannot be misinterpreted Can be used to build new ‘specialisations’ to suit specific requirements Inferences can me made based on the logic

6. FLEXINET builds on ideas explored in the IMKS project Young et al 2009

7. Ontology Specialisation Time FLEXINET builds on ideas explored in the IMKS project Hastilow, N. 2013

8. STEP-ISO 10303 ISO 13584 PLIB ISO 13584 PLIB ISO 18629- PSL STEP NC ISO 10303 ISO10303- AP239- PLCS ISO 15531 MANDATE ISO 15531 MANDATE STEP-ISO 10303-AP224 Feature Based Manufacturing I SO13399- Cutting Tool Standard A Reference Ontology has the potential to support interoperable standards for manufacturing