Description logics approach to semantic matching of Web services

As more resources and services become available on the Web, there is a growing need for infrastructures that, based on advertised descriptions, semantically match in a peer-to-peer way providers with requesters of Web services. We address the problem of matchmaking of Web services from a knowledge representation perspective. Based on our approach we propose match categorization in terms of exact match, potential match (when request and offer though not identical are compatible) and partial match (when one or more inconsistency is present) and rank of matches within categories. Then we report on our implementation of the proposed matchmaking framework in a prototype system.

[1]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[2]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[3]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

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

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

[6]  Yigal Hoffner,et al.  Distribution issues in the design and implementation of a virtual market place , 1999, Comput. Networks.

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

[8]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[9]  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 .

[10]  Claudio Bartolini,et al.  Semantic web support for the business-to-business e-commerce lifecycle , 2002, WWW '02.

[11]  Francesco M. Donini,et al.  Semantic matchmaking in a P-2-P electronic marketplace , 2003, SAC '03.

[12]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

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

[14]  Diego Calvanese.  Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity , 1996, ECAI.

[15]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[16]  Daniel Kuokka,et al.  Integrating information via matchmaking , 1996, Journal of Intelligent Information Systems.

[17]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[18]  Francesco M. Donini,et al.  A knowledge-based system for person-to-person e-commerce , 2001 .

[19]  Yolanda Gil,et al.  PHOSPHORUS: a task-based agent matchmaker , 2001, AGENTS '01.

[20]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[21]  Nikos I. Karacapilidis,et al.  Building an agent-mediated electronic commerce system with decision analysis features , 2001, Decis. Support Syst..

[22]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[23]  Huaiqing Wang,et al.  Modeling constraint-based negotiating agents , 2002, Decis. Support Syst..