Description Logic Rule Based Semantic Web Service Composition Method

One kind of semantic web service composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts in domain ontology and model web service functional semantic of ServiceProfile, and define service DL rule (R1, R2 and R3) corresponding to sequence, split and join composition structure of GroundProfile respectively. Furthermore, we propose DL rule chain and web service community (WSC) model to describe sequential and parallel service composition, and prove that the semantics of DL rule chain and WSC are all corresponding to a new R1 rule. Furthermore, we give WSC finding algorithm and WSR matching algorithm: the former is to find WSC and DL rule chain by eliminating R2 and R3 rule, the latter is to find some DL rules matching WSR as the composition result. Finally, we analyze the related work and give some experiments to validate the rightness of our method.

[1]  Sebastian Rudolph,et al.  Description Logic Rules , 2010, ECAI.

[2]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[3]  Li Man,et al.  Dynamic Composition of Web Services Based on Domain Ontology , 2005 .

[4]  Tanveer F. Syeda-Mahmood,et al.  SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[5]  Jin Cheng-zhi.  Service chain-based approach for Web service composition , 2007 .

[6]  Ismailcem Budak Arpinar,et al.  Automatic Composition of Semantic Web Services , 2003, ICWS.

[7]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[8]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[9]  Shi Zhong.  Reasoning About Semantic Web Services with an Approach Based on Dynamic Description Logics , 2008 .

[10]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .

[11]  Volker Haarslev,et al.  Rewriting Rules into SROIQ Axioms , 2008, Description Logics.

[12]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[13]  Feng He,et al.  Automatic Web Services Composition Based on Reasoning Petri Net , 2008, 2008 International Conference on Advanced Language Processing and Web Information Technology.

[14]  Antonio Brogi,et al.  Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study , 2008, Petri Nets.

[15]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[16]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[17]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[18]  CreditCardType,et al.  Automatic Composition of Semantic Web Services , 2007 .

[19]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[20]  Gopal Gupta,et al.  Automatic Composition of SemanticWeb Services , 2007, IEEE International Conference on Web Services (ICWS 2007).