Towards Constructive Evidence of Data Flow-Oriented Web Service Composition

Automation of service composition is one of the most interesting challenges facing the Semantic Web and the Web of services today. Despite approaches which are able to infer a partial order of services, its data flow remains implicit and difficult to be automatically generated. Enhanced with formal representations, the semantic links between output and input parameters of services can be then exploited to infer their data flow. This work addresses the problem of effectively inferring data flow between services based on their representations. To this end, we introduce the non standard Description Logic reasoning join, aiming to provide a "constructive evidence" of why services can be connected and how non trivial links (many to many parameters) can be inferred in data flow. The preliminary evaluation provides evidence in favor of our approach regarding the completeness of data flow.

[1]  Freddy Lécué,et al.  Making the Difference in Semantic Web Service Composition , 2007, AAAI.

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

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

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

[5]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

[6]  Freddy Lécué,et al.  A Formal Model for Semantic Web Service Composition , 2005, SEMWEB.

[7]  José Luis Ambite,et al.  Automatically Composing Data Workflows with Relational Descriptions and Shim Services , 2007, ISWC/ASWC.

[8]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[9]  Freddy Lécué,et al.  Applying Abduction in Semantic Web Service Composition , 2007, IEEE International Conference on Web Services (ICWS 2007).

[10]  Francesco M. Donini,et al.  Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach , 2007, J. Artif. Intell. Res..

[11]  Winfried Lamersdorf,et al.  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.

[12]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

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

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

[15]  Francesco M. Donini,et al.  A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN , 2004, Description Logics.

[16]  Ian Horrocks,et al.  Deciding Semantic Matching of Stateless Services , 2006, AAAI.

[17]  Piergiorgio Bertoli,et al.  Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection , 2009, J. Artif. Intell. Res..

[18]  Annapaola Marconi,et al.  Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals , 2006, ICSOC.

[19]  Alberto H. F. Laender.  Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings , 2009, ER.

[20]  Heiner Stuckenschmidt.  Partial Matchmaking using Approximate Subsumption , 2007, AAAI.

[21]  Axel Polleres,et al.  Rapid prototyping of semantic mash-ups through semantic web pipes , 2009, WWW '09.

[22]  Fabio Casati,et al.  Hosted Universal Composition: Models, Languages and Infrastructure in mashArt , 2009, ER.

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

[24]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[25]  Reto Krummenacher,et al.  Towards Linked Open Services and Processes , 2010, FIS.

[26]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[27]  Jérôme Euzenat,et al.  Semantic Precision and Recall for Ontology Alignment Evaluation , 2007, IJCAI.

[28]  Francesco M. Donini,et al.  Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction , 2007, Int. J. Web Serv. Res..

[29]  Paolo Traverso,et al.  05462 Service-Oriented Computing: A Research Roadmap , 2005, Service Oriented Computing.

[30]  Tomas Vitvar,et al.  SAWSDL: Semantic Annotations for WSDL and XML Schema , 2007, IEEE Internet Computing.

[31]  Eric A. Brewer,et al.  Intel Mash Maker: join the web , 2007, SGMD.

[32]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[33]  Francesco M. Donini,et al.  Concept Abduction and Contraction in Description Logics , 2003, Description Logics.

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

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

[36]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[37]  Francesco M. Donini,et al.  A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics , 2004, ECAI.

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

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

[40]  James A. Hendler,et al.  Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.

[41]  Soundar R. T. Kumara,et al.  WSBen: A Web Services Discovery and Composition Benchmark , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[42]  Kurt Tutschku,et al.  Future Internet - FIS 2010 - Third Future Internet Symposium, Berlin, Germany, September 20-22, 2010. Proceedings , 2010, FIS.