Semantic Web Service Description

The convergence of Semantic Web with service-oriented computing is manifested by Semantic Web service (SWS) technology. It addresses the major challenge of automated, interoperable and meaningful coordination of Web services to be carried out by intelligent software agents. In this chapter, we briefly discuss prominent SWS description frameworks, that are the standard SAWSDL, OWL-S and WSML1. This is complemented by a critique, and selected references to further readings on the subject.

[1]  Stephan Tobies,et al.  The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics , 2011, ArXiv.

[2]  Freddy Lécué,et al.  Semantic Web Service Composition through a Matchmaking of Domain , 2006, 2006 European Conference on Web Services (ECOWS'06).

[3]  Timothy W. Finin,et al.  Security for DAML Web Services: Annotation and Matchmaking , 2003, SEMWEB.

[4]  Kurt Geihs,et al.  Ranked Matching for Service Descriptions Using OWL-S , 2004, KiVS.

[5]  Boi Faltings,et al.  Efficient matchmaking and directory services , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[6]  Harry Chen,et al.  Dynamic Service Discovery for Mobile Computing: Intelligent Agents Meet Jini in the Aether , 2004, Cluster Computing.

[7]  Jos de Bruijn,et al.  Enabling Semantic Web Services: The Web Service Modeling Ontology , 2006 .

[8]  Jos de Bruijn,et al.  Enabling Semantic Web Services , 2007 .

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

[10]  Ling Liu,et al.  Process Mining, Discovery, and Integration using Distance Measures , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

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

[12]  Matthias Klusch,et al.  Semantic Web Service Composition Planning with OWLS-Xplan , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[13]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

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

[15]  Matthias Klusch,et al.  Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results , 2007, SMRR.

[16]  Steffen Staab,et al.  Searching Dynamic Communities with Personal Indexes , 2005, SEMWEB.

[17]  Matthias Klusch,et al.  Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace , 2002, Autonomous Agents and Multi-Agent Systems.

[18]  John Domingue,et al.  Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services , 2005, SEMWEB.

[19]  Sören Auer,et al.  From BPEL4WS Process Model to Full OWL-S Ontology , 2006 .

[20]  Matthias Klusch,et al.  RS2D: Fast Adaptive Search for Semantic Web Services in Unstructured P2P Networks , 2006, International Semantic Web Conference.

[21]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.

[22]  Annapaola Marconi,et al.  Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[23]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

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

[25]  Joachim Peer,et al.  A POP-Based Replanning Agent for Automatic Web Service Composition , 2005, ESWC.

[26]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[27]  Birgitta König-Ries,et al.  Coupled Signature and Specification Matching for Automatic Service Binding , 2004, ECOWS.

[28]  Ian Horrocks,et al.  Reducing OWL Entailment to Description Logic Satisfability , 2003, Description Logics.

[29]  Boris Motik,et al.  Matching Semantic Service Descriptions with Local Closed-World Reasoning , 2006, ESWC.

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

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

[32]  Fabio Casati,et al.  Dynamic and adaptive composition of e-services , 2001, Inf. Syst..

[33]  Sihem Amer-Yahia,et al.  Texquery: a full-text search extension to xquery , 2004, WWW '04.

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

[35]  Mihhail Matskin,et al.  Composition of Semantic Web services using Linear Logic theorem proving , 2006, Inf. Syst..

[36]  Amit P. Sheth,et al.  Automatic Composition of Semantic Web Services Using Process Mediation , 2007, ICEIS.

[37]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[38]  James A. Hendler,et al.  Filtering and selecting semantic Web services with interactive composition techniques , 2004, IEEE Intelligent Systems.

[39]  Ryszard Kowalczyk,et al.  Towards Agent-Based Coalition Formation for Service Composition , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

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

[41]  Amit P. Sheth,et al.  Semantic Web Services, Processes and Applications (Semantic Web and Beyond: Computing for Human Experience) , 2006 .

[42]  Katia P. Sycara,et al.  Using DAML-S for P2P Discovery , 2003, International Conference on Web Services.

[43]  Marco Pistore,et al.  Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition , 2005, ESWC.

[44]  Mitesh Patel,et al.  Accessing the deep web , 2007, CACM.

[45]  Anupam Joshi,et al.  DReggie: Semantic Service Discovery for M-Commerce Applications , 2001 .

[46]  Edith Cohen,et al.  Search and replication in unstructured peer-to-peer networks , 2002 .

[47]  Marco Pistore,et al.  Planning as Model Checking for Extended Goals in Non-deterministic Domains , 2001, IJCAI.

[48]  Birgitta König-Ries,et al.  DIANE: an integrated approach to automated service discovery, matchmaking and composition , 2007, WWW '07.

[49]  Wolfgang Nejdl,et al.  A scalable and ontology-based P2P infrastructure for Semantic Web Services , 2002, Proceedings. Second International Conference on Peer-to-Peer Computing,.

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

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

[52]  Anupriya Ankolekar,et al.  Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models , 2004, SWS@ISWC.

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

[54]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[55]  Niels Lohmann,et al.  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.

[56]  Matthias Klusch,et al.  Fast Dynamic Re-planning of Composite OWL-S Services , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops.

[57]  Efraim Turban,et al.  Electronic Commerce 2010 , 2009 .

[58]  Feng Shao,et al.  XRANK: ranked keyword search over XML documents , 2003, SIGMOD '03.

[59]  Katia P. Sycara,et al.  Towards automatic mediation of OWL-S process models , 2007, IEEE International Conference on Web Services (ICWS 2007).

[60]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

[61]  Mihhail Matskin,et al.  Semantic Web Service Composition Through a P2P-Based Multi-agent Environment , 2005, AP2PC.

[62]  Steffen Staab,et al.  Annotation, composition and invocation of semantic web services , 2004, J. Web Semant..

[63]  Dirk Neumann,et al.  Trading grid services - a multi-attribute combinatorial approach , 2008, Eur. J. Oper. Res..

[64]  Francesco M. Donini,et al.  Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace , 2005, Electron. Commer. Res. Appl..

[65]  Matthias Klusch,et al.  Next-generation applications in healthcare digital libraries using semantic service composition and coordination , 2006, Health Informatics J..

[66]  Dieter Fensel,et al.  Unifying Reasoning and Search to Web Scale , 2007, IEEE Internet Computing.

[67]  Matthias Klusch,et al.  Automated semantic web service discovery with OWLS-MX , 2006, AAMAS '06.

[68]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[69]  D. Milojicic,et al.  Peer-to-Peer Computing , 2010 .

[70]  David E. Smith,et al.  Incremental Contingency Planning , 2003 .

[71]  Stijn Heymans,et al.  Two-Phase Web Service Discovery Based on Rich Functional Descriptions , 2007, ESWC.

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

[73]  Maja Miličić.  Planning in Action Formalisms based on DLs: First Results. , 2007 .

[74]  Claudio Bartolini,et al.  Agent-based service composition through simultaneous negotiation in forward and reverse auctions , 2003, EC '03.

[75]  Boi Faltings,et al.  A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes , 2006, Autonomous Agents and Multi-Agent Systems.

[76]  Dimitrios Tsoumakos,et al.  Adaptive Probabilistic Search (APS) for Peer-to-Peer Networks , 2003 .

[77]  Abraham Bernstein,et al.  Imprecise RDQL: towards generic retrieval in ontologies using similarity joins , 2006, SAC '06.

[78]  Teodor C. Przymusinski.  On the declarative and procedural semantics of logic programs , 1989, Journal of Automated Reasoning.

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

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

[81]  Michael Kifer,et al.  Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases , 2002, OTM.

[82]  Ismailcem Budak Arpinar,et al.  Ontology-driven Web services composition platform , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[83]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[84]  Wolfgang Reisig,et al.  ASM-based Semantics for BPEL: The Negative Control Flow , 2005, Abstract State Machines.

[85]  Timothy W. Finin,et al.  Authorization and privacy for semantic Web services , 2004, IEEE Intelligent Systems.

[86]  Amit P. Sheth,et al.  METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..

[87]  Matthias Klusch,et al.  Information Flow Analysis Based Security Checking of Health Service Composition Plans , 2006, ECEH.

[88]  Mihhail Matskin,et al.  Agent-Based Web Service Composition with JADE and JXTA , 2006, SWWS.

[89]  Ian Horrocks,et al.  RDFS(FA): Connecting RDF(S) and OWL DL , 2007, IEEE Transactions on Knowledge and Data Engineering.

[90]  Piergiorgio Bertoli,et al.  Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains , 2004, ECAI.

[91]  Jian Lin,et al.  Autonomous service level agreement negotiation for service composition provision , 2007, Future Gener. Comput. Syst..

[92]  Sascha Ossowski,et al.  A Role-Based Support Mechanism for Service Description and Discovery , 2007, SOCASE.

[93]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[94]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.