Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Towards Semantic Interoperability Service Utilities
1. Towards Semantic Interoperability Service Utilities Milan Zdravkovi ć , Miroslav Trajanovi ć Laboratory for Intelligent Production Systems (LIPS) Faculty of Mechanical Engineering, University of Ni š, Serbia 6th International Workshop on Enterprise Integration, Interoperability and Networking (EI2N), 19-21 October, 2011, Herssonisos, Greece
2. Human communication as a raw model for interoperability Sensation Perception Cognition Articulation Selection of sensations Providing meaning to various sensations In contexts of expectations, experience, culture, etc. Gaining knowledge and comprehension from the sensations Storage, reasoning, problem solving, imagining, conceptualizing Stimulus sensory energy psysiological psychological Articulating response Receipients, language, means
3.
4. Implicit semantics Explicit semantics Semantic applications and services Enterprise Information Systems S-ISU for Semantically interoperable systems MAPPING ONTOLOGY PROB ONT PROB ONT Transformation service LOCAL ONTOLOGY LOCAL ONTOLOGY DOMAIN ONT DOMAIN ONT DOMAIN ONT Native formats, Exchange formats EIS database EIS database Semantic Query service Listener Listener Reasoning service Registration service Reconciliation service
5. Component view of S-ISU architecture ONTOLOGY Main Services EIS LOCAL CENTRAL UTILITY EIS Database Listener Local Ontology Native formats Exchange formats Local Ontology Local Ontology Mapping Ontology DomOnt 1 DomOnt n ProbOnt 1 ProbOnt m Supportive Apps Semantic Apps VE formation Services SQS ReaS RegS SRS TrS RegSApp SRSApp SemApp 1 SemApp n } } AuthApp ReaS
6.
7. Database-to-ontology mapping Database Zdravković, M., Trajanović, M. & Panetto, H., 2011. LOCAL ONTOLOGIES FOR SEMANTIC INTEROPERABILITY IN SUPPLY CHAIN NETWORKS . In Proceedings of the 13th International Conference on Enterprise Information Systems (ICEIS 2011) . SciTePress - Science and and Technology Publications, pp. 22-31. 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
8. Formalizing the S-ISU Architecture S-ISU Ontology Meta-information for Registration Utility Inference of the basic system properties MDE paradigm
11. Thank you for your attention Q&A Milan Zdravkovi ć , Miroslav Trajanovi ć Laboratory for Intelligent Production Systems (LIPS) Faculty of Mechanical Engineering, University of Ni š, Serbia 6th International Workshop on Enterprise Integration, Interoperability and Networking (EI2N), 19-21 October, 2011, Herssonisos, Greece
Notes de l'éditeur
Common misconception: differences between semantic interoperability an semantically facilitated interoperability.
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.
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.