SWRL Rules Plan Encoding with OWL-S Composite Services

This work extends a SWRL based OWL-S atomic services composition method in order to obtain and manage OWL-S composite services. After the identification of the OWL-S constructs in a SWRL plan, the steps for building the OWL-S control contructs tree, itself serializable with language syntax as well, is given. The obtained composed SWS can be considered as a Simple Process, encoded as a SWRL rule and fed to the SWRL composer for making up new compositions.

[1]  Bijan Parsia,et al.  Planning for Semantic Web Services , 2004, SWS@ISWC.

[2]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

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

[4]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[5]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[6]  James A. Hendler,et al.  Information Gathering During Planning for Web Service Composition , 2004, SEMWEB.

[7]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[8]  Shusaku Tsumoto,et al.  Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings , 2005, ISMIS.

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

[10]  Pinar Senkul.  Modeling Composite Web Services by Using a Logic-based Language , 2005, SWAP.

[11]  Mario Bravetti,et al.  Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings , 2005, EPEW/WS-FM.

[12]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[13]  Simon Foster,et al.  A Compositional Operational Semantics for OWL-S , 2005, EPEW/WS-FM.