Fully automated Web services orchestration in a resource retrieval scenario

We propose a framework and polynomial algorithms for semantic-based automated Web service orchestration, fully compliant with semantic Web technologies. The approach exploits the recently proposed concept abduction inference service in description logics to solve concept covering problems. We present how the proposed approach deals with not exact solutions, computing an approximate orchestration with respect to an agent request modeled using a significant subset of OWL-DL.

[1]  Mohand-Said Hacid,et al.  Request Rewriting-Based Web Service Discovery , 2003, International Semantic Web Conference.

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

[3]  Erhard Rahm,et al.  Generic Schema Matching with Cupid , 2001, VLDB.

[4]  Mikko Laukkanen,et al.  Composing Workflows of Semantic Web Services , 2004 .

[5]  Mohand-Said Hacid,et al.  Computing Concept Covers: a Preliminary Report , 2002, Description Logics.

[6]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

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

[8]  Francesco M. Donini,et al.  Abductive Matchmaking using Description Logics , 2003, IJCAI.

[9]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[10]  Juha Puustjärvi,et al.  Automatic composition of Web service workflows using a semantic agent , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[11]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[12]  Franz Baader.  Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles , 2003, IJCAI.

[13]  Frank van Harmelen,et al.  Reviewing the design of DAML+OIL: an ontology language for the semantic web , 2002, AAAI/IAAI.

[14]  James A. Hendler,et al.  DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..

[15]  Gunnar Teege.  Making the Difference: A Subtraction Operation for Description Logics , 1994, KR.

[16]  Mohand-Said Hacid,et al.  On automating Web services discovery , 2003, The VLDB Journal.

[17]  Francesco M. Donini,et al.  Extending Semantic-Based Matchmaking via Concept Abduction and Contraction , 2004, EKAW.

[18]  Mohand-Said Hacid,et al.  Semantic Reasoning for Web Services Discovery , 2003 .

[19]  Francesco M. Donini,et al.  An Agency for Semantic-Based Automatic Discovery of Web Services , 2004, AIAI.

[20]  Francesco M. Donini,et al.  Extending and Computing the Concept Covering for the Semantic Web ∗ , 2005 .

[21]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[22]  Andrea Calì,et al.  Data integration under integrity constraints , 2004, Inf. Syst..

[23]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[24]  Tommaso Di Noia,et al.  Logic Based Approach to Web Services Discovery and Matchmaking , 2003 .

[25]  Diego Calvanese,et al.  Synthesis of underspecified composite e-services based on automated reasoning , 2004, ICSOC '04.

[26]  Massimo Mecella,et al.  Building Flexible and Cooperative Applications Based on e-Services , 2002 .

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

[28]  Massimo Mecella,et al.  Modeling E -service Orchestration through Petri Nets , 2002, TES.

[29]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[30]  Enrico Motta,et al.  IRS-II: A Framework and Infrastructure for Semantic Web Services , 2003, SEMWEB.

[31]  Francesco M. Donini,et al.  A system for principled matchmaking in an electronic marketplace , 2003, WWW '03.

[32]  Asunción Gómez-Pérez,et al.  A Framework for Design and Composition of Semantic Web Services , 2004, AAAI 2004.

[33]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.