A Comparative Study on Semantic Web Services Frameworks from the Dynamic Orchestration Perspective

This paper presents a comparison between the two main existing frameworks for modelling Semantic Web Services, namely OWL-S and WSMO, based on the formal support they provide for reasoning. The adopted yardstick is the set of use cases dictated by one of the foremost tasks in the research field: the dynamic orchestration. As explained in the paper, the term dynamicdenotes the capability of an agent to design and manage in an automatic way an orchestration schema using the semantic descriptions of some services. This capability, strictly related to the automatization of Discovery, Selection, Composition and Invocation use cases, is constrained by the knowledge representation strategies adopted by WSMO and OWL-S. As consequence, each approach has some limits discussed in this work.

[1]  Enrico Motta,et al.  Semantic Web service composition in IRS-III: the structured approach , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).

[2]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[3]  Mick Kerrigan,et al.  Web Services Modeling Ontology , 2006, Semantic Web Services, Processes and Applications.

[4]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[5]  Dieter Fensel,et al.  Semantic Web Services , 2011, Handbook on Ontologies.

[6]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[7]  Dieter Fensel,et al.  A Logical Framework for Web Service Discovery , 2004, SWS@ISWC.

[8]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[9]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

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

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

[12]  Christopher D. Walton.  Protocols for Web Service Invocation , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[13]  Enrico Motta,et al.  Approaches to Semantic Web Services: an Overview and Comparisons , 2004, ESWS.

[14]  David Thomas Lynch.  A Proactive Approach to Semantically Oriented Service Discovery , 2005 .

[15]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .