Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles. In such open environments, the objective of a matchmaking process is to discover best available offers to a given request. We address the problem of matchmaking from a knowledge representation perspective, with a formalization based on Description Logics. We devise Concept Abduction and Concept Contraction as non-monotonic inferences in Description Logics suitable for modeling matchmaking in a logical framework, and prove some related complexity results. We also present reasonable algorithms for semantic matchmaking based on the devised inferences, and prove that they obey to some commonsense properties. Finally, we report on the implementation of the proposed matchmaking framework, which has been used both as a mediator in e-marketplaces and for semantic web services discovery.

[1]  Ian Horrocks,et al.  A Software Framework for Matchmaking Based on Semantic Web Technology , 2004, Int. J. Electron. Commer..

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

[3]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

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

[5]  Werner Nutt,et al.  A Refined Architecture for Terminological Systems: Terminology = Schema + Views , 1998, Artif. Intell..

[6]  Anne Lohrli.  Chapman and Hall , 1985 .

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

[8]  Trevor J. M. Bench-Capon,et al.  METHODOLOGIES FOR ONTOLOGY DEVELOPMENT , 2007 .

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

[10]  Premkumar T. Devanbu,et al.  LaSSIE: a knowledge-based software information system , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

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

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

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

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

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

[16]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[17]  Jon R. Wright,et al.  A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems , 1993, AI Mag..

[18]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

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

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

[21]  Francesco M. Donini,et al.  Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction , 2007, Int. J. Web Serv. Res..

[22]  Deborah L. McGuinness,et al.  Matching in Description Logics , 1999, J. Log. Comput..

[23]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

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

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

[26]  Francesco M. Donini,et al.  A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces , 2006, ICEC '06.

[27]  William Bohrer,et al.  Carnot and InfoSleuth: database technology and the World Wide Web , 1995, SIGMOD '95.

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

[29]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

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

[31]  Francesco M. Donini,et al.  A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN , 2004, Description Logics.

[32]  Pattie Maes,et al.  Agents that buy and sell , 1999, CACM.

[33]  Ralf Küsters,et al.  Rewriting Concepts Using Terminologies , 2000, KR.

[34]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[35]  Carsten Lutz,et al.  Description Logics with Circumscription , 2006, KR.

[36]  Andrea Calì,et al.  A Description Logic Based Approach for Matching User Profiles , 2004, Description Logics.

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

[38]  Markus Stolze,et al.  A Matchmaking Component for the Discovery of Agreement and Negotiation Spaces in Electronic Markets , 2002 .

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

[40]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[41]  Amihai Motro,et al.  VAGUE: a user interface to relational databases that permits vague queries , 1988, TOIS.

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

[43]  Carsten Lutz,et al.  Reasoning with Concrete Domains , 1999, IJCAI.

[44]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

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

[46]  Friedbert Jochum,et al.  The LIVE-project: retrieval experiments based on evaluation viewpoints , 1985, SIGIR '85.

[47]  Ralf Küsters,et al.  Approximation and Difference in Description Logics , 2002, KR.

[48]  Georg Gottlob,et al.  The Complexity of Logic-Based Abduction , 1993, STACS.

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

[50]  Franz Baader,et al.  Computing Extensions of Terminological Default Theories , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[51]  Rajesh Raman,et al.  Matchmaking: distributed resource management for high throughput computing , 1998, Proceedings. The Seventh International Symposium on High Performance Distributed Computing (Cat. No.98TB100244).

[52]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[53]  Ian Horrocks,et al.  Reasoning with Axioms: Theory and Practice , 2000, KR.

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

[55]  Werner Kießling,et al.  Foundations of Preferences in Database Systems , 2002, VLDB.

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

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

[58]  Craig A. Knoblock,et al.  Query reformulation for dynamic information integration , 1996, Journal of Intelligent Information Systems.

[59]  Matthias Klusch,et al.  OWLS-MX: Hybrid OWL-S Service Matchmaking , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

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

[61]  Jörg P. Müller,et al.  Matchmaking for autonomous agents in electronic marketplaces , 2001, AGENTS '01.

[62]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[63]  Riccardo Rosati,et al.  Autoepistemic Description Logics , 1997, IJCAI.

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

[65]  Peter A. Flach,et al.  Abduction and Induction , 2000 .

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

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

[68]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[69]  Eugenio Di Sciascio,et al.  Knowledge Representation for Matchmaking in P2p E-commerce (extended Abstract) , 2002 .