Resolution and Constraint Propagation for Semantic Web Services Discovery

The purpose of semantic web services discovery is to use semantic knowledge to find services that can be composed to form an admissible answer to a query. In this paper we consider the advantage of adopting a knowledge-based approach to web services discovery. Services are described by means of terminological axioms and constrained clauses. We apply a specific resolution and a constraint propagation mechanism to evaluate queries over services.

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

[2]  Daniela Florescu,et al.  XL: a platform for web services , 2002, SIGMOD '02.

[3]  Serge Abiteboul,et al.  Positive active XML , 2004, PODS '04.

[4]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

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

[6]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[7]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[8]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

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

[10]  Hans-Jürgen Bürckert,et al.  A Resolution Principle for Clauses with Constraints , 1990, CADE.

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

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

[13]  Chutiporn Anutariya,et al.  XML Declarative Description: A Language for the Semantic Web , 2001, IEEE Intell. Syst..

[14]  Dieter Fensel.  Semantic Web Enabled Web Services , 2002, KI.

[15]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[16]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

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

[18]  Mark Klein,et al.  Discovering Services: Towards High-Precision Service Retrieval , 2002, WES.

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

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

[21]  Frank Leymann.  Web Services and Their Composition , 2001, EWSPT.

[22]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

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