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]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[18]  Dieter Fensel,et al.  Semantic Web Enabled Web Services , 2002, International Semantic Web Conference.

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

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