Milan Zdravkovic, Miroslav Trajanovic, Hervé Panetto, Local Ontologies for Semantic Interoperability in Supply Chain Networks
1. Local Ontologies for Semantic Interoperability in Supply Chain Networks Milan Zdravković, Miroslav Trajanović University of Niš, Serbia milan.zdravkovic@masfak.ni.ac.rs, traja@masfak.ni.ac.rs Hervé Panetto Research Centre for Automatic Control (CRAN – UMR 7039), Nancy-Université, CNRS, France [email_address] ICEIS’2011, June 8-11, 2011, Beijing, P.R. China
2.
3. Virtual organizations – Supply chains of the future ? *Virtual Breeding Environment Ent 2 Ent 4 Ent 1 Ent 3 Ent 5 Ent 6 **Virtual Enterprise 1 Ent 21 Ent 41 Ent 11 Ent 31 Ent 61 **Virtual Enterprise n Ent 2n Ent 4n Ent 5n Ent 3n Opportunity 1 Opportunity n Selection Configuration Selection Configuration Dissolution Dissolution **Temporary network of independent enterprises, who join together quickly to exploit fast-changing opportunities and then dissolve (Browne and Zhang, 1999) * Pool of organizations and related supporting institutions that have both the potential and the will to cooperate with each other through the establishment of a “base” long-term cooperation agreement and interoperable infrastructure . (Sánchez et al, 2005)
4.
5. Is it easy ? English translation of Welsh: “I am not in the office at the moment. Please send any work to be translated”
6.
7.
8.
9. Our approach to semantic interoperability in supply chain networks 2/2 SCOR- MAP SCOR-FULL OWL SCOR-SYS OWL SCOR-KOS OWL SCOR Native formats, Exchange formats Domain Ontologies Implicit semantics Explicit semantics Semantic enrichment Formal models of design goals Semantic applications Enterprise Information Systems SCOR-based systems SCOR-CFG OWL SCOR-GOAL OWL PRODUCT OWL Semantic Query service EIS database LOCAL ONTOLOGY Transformation service EIS database LOCAL ONTOLOGY EIS database LOCAL ONTOLOGY
10.
11. Our approach to database-to-ontology mapping Database er.owl attribute constraint entity multiplicity relation type hasAttribute hasType hasConstraint hasSourceAttribute hasDestinationAttribute hasSourceMultiplicity hasDestinationMultiplicity output imports s-er.owl concept hasObjectProperty data-type hasDataProperty data-concept hasDataType hasDefiningProperty hasDefiningDataProperty hasFunctionalProperty output er:entity(x) ∧ not (er:hasAttribute only (er:attribute ∧ (er:isSourceAttributeOf some er:relation))) ⇒ s-er:concept(x) er:entity(x) ∧ er:entity(y) ∧ er:relation(r) ∧ er:hasAttribute(x, a1) ∧ er:hasAttribute(y, a2) ∧ er:isDestinationAttributeOf(a2, r) ∧ er:isSourceAttributeOf(a1, r) ⇒ s-er:hasObjectProperty(x, y) s-er:hasObjectProperty(x, y) ∧ er:hasConstraint(a1,'not-null') ⇒ s-er:hasDefiningProperty(x, y) er:attribute and not (er:isSourceAttributeOf some er:relation) ⇒ s-er:data-concept er:type(x) ⇒ s-er:data-type(x) s-er:concept(c) ∧ er:attribute(a) ∧ er:type(t) ∧ er:hasAttribute(c, a) ∧ er:hasType(a, t) ⇒ s-er:hasDataProperty(c, t) s-er:hasDataProperty(c, t) ∧ er:hasConstraint(a,'not-null') ∧ er:hasConstraint(a,'unique') ⇒ s-er:hasDefiningDataProperty(c, t) Data import and classification of ER entities Classification (inference) of OWL types and properties Lexical Refinement Local ontology generation output
12.
13.
14.
15.
16.
17. Local Ontologies for Semantic Interoperability in Supply Chain Networks Milan Zdravković, Miroslav Trajanović University of Niš, Serbia milan.zdravkovic@masfak.ni.ac.rs, traja@masfak.ni.ac.rs Hervé Panetto Research Centre for Automatic Control (CRAN – UMR 7039), Nancy-Université, CNRS, France [email_address] ICEIS’2011, June 8-11, 2011, Beijing, P.R. China Thank you for your attention
Notas do Editor
Illustration of the two systems “speaking different languages”: Local community officer sent a text (in english) to be translated to Welsh translator. Then, he received an automated “out-of-office” email message on Welsh language. He assumed that this was a response from the translator and put it on the traffic sign.
A sender's system S is _semantically operable_ with a receiver's system R if and only if the follow condition holds for any data p that is transmitted from S to R: For every statement q that is implied by p on the system S, there is a statement q' on the system R that (1) is implied by p on the system R, and (2) is logically equivalent to q. the receiver must at least be able to derive a logically equivalent implication for every implication of the sender's system.
Adding contexts improves expressiveness of a framework if there exist systems S 1 and S 2 , driven by the ontologies O 1 and O 2 , and if there exist alignment between these ontologies O 1 ≡O 2 , the competence of O 1 will be improved and S 1 will be enabled to make more qualified conclusions about its domain of interest
SCOR-MAP is a central ontology. It imports (blue arrows) domain ontologies, implicit SCOR model represented in OWL (SCOR-KOS OWL), SCOR’s semantic enrichment (SCOR-FULL OWL) and all local ontologies. SCOR-MAP stores the SWRL rules which are used to represent correspondences between all these models. Focus of this paper is on what is inside purple boxes.