Towards Semantic Interoperability Service

UtilitiesMilan 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

Human communication as a raw model for interoperability

SensationSensationPerceptionPerception

CognitionCognition ArticulationArticulation

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

Selection of sensations

Articulating response

Receipients, language, means

SensationPerception

Cognition Articulation

∃R(system(R))

Requirements for semantic interoperability

Sensation Perception

CognitionArticulation

• Sensation– “Ask” & “Tell” interface

– No need for selective sensation

• Perception– Semantic matching and

reasoning

– Explicit enterprise knowledge (ontologies)

WebservicesOntologies

Queryprocessing

SemanticmatchingReasoner

• Cognition– Triple store– Formalized business rules– Rules-enabled reasoning– Assertion of new

knowledge– Formalized interoperability

protocols

Ontologies

Mappings ∃S(system(S))

∀p (

(transmitted-from(p,S) transmitted-to(p,R)) ∧ ∧

∀q(statement-of(q,S) p q) ∧ ⇒

∃q’(statement-of(q’,R) p q’ q’⇔q)∧ ⇒ ∧

) ⇒ semantically-interoperable(S,R)

MA

PP

ING

ON

TO

LO

GY

Implicit semantics

Explicit semantics

Semantic applicationsand services

Enterprise Information

Systems

PROB ONT

PROB ONT

Transformationservice

LOCAL ONTOLOGY

LOCAL ONTOLOGY

DO

MA

IN O

NT

DO

MA

IN O

NT

DO

MA

IN O

NT

Native formats, Exchange formats

EIS database

EIS database

SemanticQuery service

Listener

Listener

Reasoningservice

Registrationservice

Reconciliationservice

S-ISU for Semantically interoperable systems

ON

TO

LO

GY

Main ServicesEIS

LOCAL CENTRAL

UT

ILIT

Y

EISDatabase

Listener

LocalOntology

Nativeformats

Exchangeformats

LocalOntology

LocalOntology

MappingOntology

DomOnt1

DomOntn

ProbOnt1

ProbOntm

Supportive Apps

Semantic Apps

VE formation Services

SQS

ReaS

RegS SRS

TrS

RegSApp

SRSApp

SemApp 1

SemApp n}

}

AuthAppReaS

Component view of S-ISU architecture

S-ISU Services

• 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.– Transformation Service (TrS)

– Semantic Querying Service (SQS)

• Registration services (RegS)– Meta-data (S-ISU Ontology)

Database

er.owl

attribute

constraint

entity

multiplicityrelatio

n

type

hasAttribute

hasType

hasConstraint

hasSourceAttribute

hasDestinationAttribute

hasSourceMultiplicity

hasDestinationMultiplicity

output

imports

s-er.owl

concept hasObjectProperty

data-type

hasDataProperty data-concept

hasDataType

hasDefiningProperty

hasDefiningDataPropertyhasFunctionalProperty

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)

Database-to-ontology mapping

Data import andclassification of ER entities

Classification (inference) of OWL types and properties

LexicalRefinement

Local ontologygeneration

output

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. 

Formalizing the S-ISU Architecture

S-ISU Ontology

Meta-information forRegistration Utility

Inference of the basicsystem properties

MDE paradigm

process-pump-house-manufacturing-1

has-process

process-snow-making-manufacturing-1

process-fan-gun-sourcing-1

process-hyd-equip-sourcing-1

process-hyd-equip-delivery-1

process-pump-house-delivery-1

process-pump-house-design-1

process-snow-making-design-1

process-fan-gun-delivery-1

process-hyd-equip-manufacturing-1

process-pump-house-sourcing-1

process-snow-making-delivery-1

VBE

Utility

Enterprise

Process

VE

has-member

owns-utility

facilitatesprecedes

implements-process

Hydro-Equip-Cluster

Snow-making-facility-engineering

Snow-Solutions-IncPumps-Inc

Lenko-Snow-Inc

Organizational view of S-ISU ontology (case)

Process(p1) Process(p2) ∧ ∧Enterprise(e1) Enterprise(e2) ∧ ∧implements-process(e1,p1) ∧implements-process(e2,p2) ∧precedes(p1, p2) DifferentFrom(e1,e2) ∧

⇒ interoperate-with(e1,e2)

Inferred propertiesinteroperate-with('Pumps-Inc', 'Snow-Solutions-Inc'), interoperate-with('Lenko-Snow-Inc', 'Snow-Solutions-Inc'), interoperate-with('Snow-Solutions-Inc', 'Lenko-Snow-Inc'),interoperate-with('Snow-Solutions-Inc', 'Pumps-Inc').

Asset view of S-ISU ontology (case)

EIS

SemAppDatabase

Ontology

AppOntology

MapOntology

DomOntology

LocOntology

Data-Container

File

ERPNext-1

OpenERP-1

EasySCOR-1

EasySCOR-1-NativeERPNext-1-

MySQL

OpenERP-1-PostgreSQL

SCOR-KOS OWL

ERPNext-1-Ont

OpenERP-1-Ont

explicits

explicits

explicits

importsimports

imports

uses-data-container

uses-data-container

uses-data-container

ReaS

SQS

RegS TrS

SRS

RegSApp

SRSApp

uses-utility

uses-utility

TOVE

SCOR-MAP

SCOR-FULL

imports

imports

imports

imports

uses-data-container

uses-utility

uses-utility

Utility

Service

Listener

uses-utility

SCOR-Thread-Gen SCOR-CFG

PRODUCT-OWL

Prod-Acquis-App

uses-data-container

uses-utility

uses-utility

Thank you for your attentionQ&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