Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace

In this paper we present a Description Logic approach to extended matchmaking between Demands and Supplies in an Electronic Marketplace, which allows the semantic-based treatment of negotiable and strict requirements in the description.To this aim we exploit two novel non-standard Description Logic inference services, Concept Contraction -which extends satisfiability-and Concept Abduction -which extends subsumption.Based on these services we devise algorithms to find negotiation spaces and to determine the quality of a possible match, also in the presence of a distinction between strictly required and optional elements.

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

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

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

[4]  James A. Hendler,et al.  DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..

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

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

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

[8]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[9]  Andrea Calì,et al.  Data integration under integrity constraints , 2004, Inf. Syst..

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

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

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

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

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

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

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

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

[18]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

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

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

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

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

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

[24]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

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

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

[27]  Francesco M. Donini,et al.  Extending Semantic-Based Matchmaking via Concept Abduction and Contraction , 2004, EKAW.

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

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

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

[31]  Francesco M. Donini,et al.  Ontology-Based Natural Language Parser for E-Marketplaces , 2005, IEA/AIE.

[32]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

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

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

[35]  Timothy W. Finin,et al.  Enhanced Service Discovery in Bluetooth , 2002, Computer.

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

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

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

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

[40]  Franz Baader.  Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles , 2003, IJCAI.

[41]  Tommaso Di Noia,et al.  Logic Based Approach to Web Services Discovery and Matchmaking , 2003 .

[42]  Oren Etzioni,et al.  A scalable comparison-shopping agent for the World-Wide Web , 1997, AGENTS '97.

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

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

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

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

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

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

[49]  Boualem Benatallah,et al.  A configurable matchmaking framework for electronic marketplaces , 2004, Electron. Commer. Res. Appl..

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

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