Two-Fold Service Matchmaking – Applying Ontology Mapping for Semantic Web Service Discovery /// ASWC’09, Shanghai, China, December 08, 2009 Stefan Dietze 1 , Neil Benn 1 , John Domingue 1 , Alex Conconi 2 , Fabio Cattatoni 2 1 Knowledge Media Institute, The Open University, UK 2 TXT eSolutions, Italy
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Two-Fold Service Matchmaking –Applying Ontology Mapping for Semantic Web Service Discovery
/// ASWC’09, Shanghai, China, December 08, 2009
Stefan Dietze1, Neil Benn1, John Domingue1, Alex Conconi2, Fabio Cattatoni2
1Knowledge Media Institute, The Open University, UK
2TXT eSolutions, Italy
08/12/2009 4th Asian Semantic Web Conference
� Semantic Web Services (SWS) mediation
� Two-fold matchmaking approach for SWS
� Prototypical implementation & application
� Conclusions
Outline
08/12/2009 4th Asian Semantic Web Conference
sws:WebServiceSWS.2
sws:WebServiceSWS.3
sws:WebServiceSWS.1
WebServiceWS.2
WebServiceWS.3
WebServiceWS.1
Introduction Semantic Web Services (SWS)
� Formalisations of Web services in
terms of capabilities (Cap),
interfaces (If) and non-functional
properties (Nfp)
� Capabilities: assumptions (Ass) and
effects (Eff)
� Use ontologies O (i.e. tuple of
concepts C, instances I, properties
P, relations R and axioms A)
� Reference models e.g. OWL-S,
WSMO, SAWSDL
08/12/2009 4th Asian Semantic Web Conference
� SWS discovery: matchmaking of
capabilities of SWS e.g. :
SWS matchmakingIssues
1212EfEfAsAs ⊂∪⊂
sws:WebServiceSWS.2
sws:WebServiceSWS.3
sws:RequestR.1
sws:WebServiceSWS.1
WebServiceWS.2
WebServiceWS.3
WebServiceWS.1
? ?
08/12/2009 4th Asian Semantic Web Conference
� SWS discovery: matchmaking of
capabilities of SWS e.g. :
� I.e., matching logical expressions
SWS matchmakingIssues
211 IIAs ∩¬≡
1212EfEfAsAs ⊂∪⊂
sws:WebServiceSWS.2
sws:WebServiceSWS.3
sws:RequestR.1
sws:WebServiceSWS.1
WebServiceWS.2
WebServiceWS.3
WebServiceWS.1
432 IIAs ¬∩≡
has-assumption
has-assumption
08/12/2009 4th Asian Semantic Web Conference
� SWS discovery: matchmaking of
capabilities of SWS e.g. :
� I.e., matching logical expressions…
� …which are heterogeneous.
SWS matchmakingIssues
211 IIAs ∩¬≡
1212EfEfAsAs ⊂∪⊂
sws:WebServiceSWS.2
sws:WebServiceSWS.3
sws:RequestR.1
sws:WebServiceSWS.1
WebServiceWS.2
WebServiceWS.3
WebServiceWS.1
?
432 IIAs ¬∩≡
<Location rdf:ID="Milton_Keynes"/>
<geospatialLocation rdf:ID="M-K"/>
has-assumption
has-assumption
08/12/2009 4th Asian Semantic Web Conference
� SWS discovery: matchmaking of
capabilities of SWS e.g. :
� I.e., matching logical expressions…
� …which are heterogeneous.
� Requires: mediation between
concepts/instances across
heterogeneous SWS.
SWS matchmakingSemantic-level mediation
1212EfEfAsAs ⊂∪⊂
sws:WebServiceSWS.2
sws:WebServiceSWS.3
sws:RequestR.1
sws:WebServiceSWS.1
WebServiceWS.2
WebServiceWS.3
WebServiceWS.1
Semantic-Level Mediation
Mediation between heterogeneous
semantic representations
08/12/2009 4th Asian Semantic Web Conference
Proposal:
� SWS matchmaking as two-fold process
(i) Semantic mediation via ontology (instance) mapping
(ii) Logical reasoning for matchmaking of capability/interface descriptions
SWS matchmaking Two-fold process
08/12/2009 4th Asian Semantic Web Conference
Proposal:
� SWS matchmaking as two-fold process
(i) Semantic mediation via ontology (instance) mapping
(ii) Logical reasoning for matchmaking of capability/interface descriptions
Issues:
� Traditional SWS matchmaking focusses on (ii)
� Integration of (i):
� Via manual mappings? - costly
� Via exploitation of linguistic or structural similarities? - prone to errors
� Representations allowing for implicit similarity-computation ?
SWS matchmaking Two-fold process
08/12/2009 4th Asian Semantic Web Conference
� Refining SWS ontologies through multiple “Mediation Spaces” (MS), i.e. multidimensional,
vector spaces
� Through MS ontology (extends SWS descriptions)
� Concept C in SWS ontology O => Mediation Space MS / Instance I of C => member M
(vector) in MS
Semantic-level mediationApproach: instance similarity computation in shared MS
( ){ }ℜ∈∈= iinn
npMSddpdpdpMS ,,...,,
2211
Instance I1j Instance I1i
Concept C1x instance-of
refined-as-ns
refined-as-member refined-as-member
d1
d2
d3
instance-of
SWS Ontology O1
Mediation Space MS1x
08/12/2009 4th Asian Semantic Web Conference
� Similarity-computation between SWS instances => spatial distances in MS
� e.g. Euclidean distance:
� Common agreement at schema (i.e. MS) level
∑=
−−
−=
n
i v
i
u
ii
s
vv
s
uupvudist
1
2))()((),(
Semantic-level mediationApproach: instance similarity computation in shared MS
d2
Instance i2i Instance i1i
Mediation Space MSx
Concept c1x
instance-of refined-as-ms
refined-as-member refined-as-member
Concept c2x
refined-as-ms
d1
d3
SWS Ontology O1 SWS Ontology O2
instance-of
Agent 1 Agent 2
08/12/2009 4th Asian Semantic Web Conference
wsmo:Mediator
Med.1
wsmo:WebService
SWS.2
wsmo:WebService
SWS.3
wsmo:Goal
G.1
wsmo:WebService
SWS.1
wsmo:MedWS
SWS.1.1 Comp. Sim.
(1)
(2)
(4)
(5)
(3)
Similarity-based service matchmakingImplementation based on WSMO/IRS-III
� Implementation: Web Service Modelling Ontology (WSMO) & SWS environment IRS-III
08/12/2009 4th Asian Semantic Web Conference
Similarity-based service matchmakingImplementation based on WSMO/IRS-III
� Implementation: Web Service Modelling Ontology (WSMO) & SWS environment IRS-III
� WSMO Mediator: computation of similarities between given request (WSMO Goal, G1) and
set of x associated SWS (SWS1..SWSx):
� Limitation: suitability of service computed based on instance similarities
(=> current work: integration into “real” two-fold matchmaking)