Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction

We propose a framework and tractable algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the recently proposed Concept Abduction inference service in Description Logics to extend Concept covering definition to expressive logics, and to solve Concept Covering problems in a significant subset of OWL-DL. We show how the proposed approach also deals with not-exact solutions, computing an approximate composition and providing an explanation of which part of the request is not covered by the composite service. We present the formalization of the approach, the proposed algorithms, a prototype system implementing the approach, and illustrate experiments carried out with it.

[1]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

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

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

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

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

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

[7]  Per Capita,et al.  About the authors , 1995, Machine Vision and Applications.

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

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

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

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

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

[13]  Herman Lam,et al.  A Semi-Automatic Approach to Composite Web Services Discovery, Description and Invocation , 2004, Int. J. Web Serv. Res..

[14]  Sudhir Agarwal,et al.  SMART - a semantic matchmaking portal for electronic markets , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).

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

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

[17]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[18]  J. Gonzalez-Castillo,et al.  Description logics for matchmaking of services , 2001 .

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

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

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

[22]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[23]  Chris Preist.  A Conceptual Architecture for Semantic Web Services , 2004, International Semantic Web Conference.

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

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

[26]  I. Horrocks,et al.  The Instance Store: DL Reasoning with Large Numbers of Individuals , 2004, Description Logics.

[27]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

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

[29]  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).

[30]  Francesco M. Donini,et al.  Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace , 2004, ICEC '04.

[31]  Enrico Motta,et al.  IRS-III: A Platform and Infrastructure for Creating WSMO-based Semantic Web Services , 2004, WIW.

[32]  Francesco M. Donini,et al.  Fully automated Web services orchestration in a resource retrieval scenario , 2005, IEEE International Conference on Web Services (ICWS'05).

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

[34]  Dieter Fensel,et al.  Automatic Location of Services , 2005, ESWC.

[35]  Joachim Peer,et al.  Web Service Composition as AI Planning { a Survey ⁄ , 2005 .

[36]  Armin Haller,et al.  Exposing Semantic Web Service principles in SOA to solve EAI scenarios , 2005 .

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

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

[39]  Francesco M. Donini,et al.  Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning , 2005, ESWC.

[40]  Boris Motik,et al.  Variance in e-Business Service Discovery , 2004, SWS@ISWC.

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

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

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

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

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

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

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