Article

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

Authors:

Simona Colucci,

Tommaso Di Noia,

Eugenio Di Sciascio,

Marina Mongiello,

Francesco M. DoniniAuthors Info & Claims

ICEC '04: Proceedings of the 6th international conference on Electronic commerce

Pages 41 - 50

https://doi.org/10.1145/1052220.1052226

Published: 25 March 2004 Publication History

Abstract

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.

References

[1]

Y. Arens, C. A. Knoblock, and W. Shen. Query Reformulation for Dynamic Information Integration. Journal of Intelligent Information Systems, 6:99--130, 1996.

Digital Library

[2]

F. Baader. Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In Proc. International Joint Conference on Artificial Intelligence (IJCAI2003), pages 319--324, 2003.

Digital Library

[3]

F. Baader, D. Calvanese, D. Mc Guinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2002.

Digital Library

[4]

F. Baader, I. Horrocks, and U. Sattler. Description logics as ontology languages for the semantic web. In D. Hutter and W. Stephan, editors, Festschrift in honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2003.

[5]

F. Baader, R. Kusters, A. Borgida, and D. Mc Guinness. Matching in Description Logics. Journal of Logic and Computation, 9(3):411--447, 1999.

[6]

B. Benatallah, M.-S. Hacid, C. Rey, and F. Toumani. Request Rewriting-Based Web Service Discovery. In International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, pages 242--257. Springer, 2003.

[7]

B. Benatallah, M.-S. Hacid, C. Rey, and F. Toumani. Semantic Reasoning for Web Services Discovery. In Proc. of Workshop on E-Services and the Semantic Web at WWW 2003, May 2003.

[8]

Bluetooth. http://www.bluetooth.com.

[9]

A. Borgida. Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering, 7(5):671--682, 1995.

Digital Library

[10]

A. Borgida and P. F. Patel-Schneider. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Artificial Intelligence Research, 1:277--308, 1994.

Digital Library

[11]

R. Brachman and H. Levesque. The tractability of subsumption in frame-based description languages. In Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84), pages 34--37. Morgan Kaufmann, Los Altos, 1984.

Digital Library

[12]

S. Brandt, R. Ksters, and A. Turhan. Approximation and difference in description logics. pages 203--214. MK, 2002.

[13]

S. Brandt, R. Küsters, and A.-Y. Turhan. Approximation and difference in description logics. In Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 203--214. Morgan Kaufman, 2002.

[14]

A. Calì, D. Calvanese, G. D. Giacomo, and M. Lenzerini. Data integration under integrity constraints. Information Systems, 29(2):147--163, 2004.

Digital Library

[15]

D. Calvanese, G. De Giacomo, and M. Lenzerini. On the Decidability of Query Containment under Constraints. In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98), pages 149--158, 1998.

Digital Library

[16]

F. Casati and M. C. Shan. Dynamic and Adaptive Composition of E-Services. Information Systems, 26:143--163, 2001.

Digital Library

[17]

S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. Concept Abduction and Contraction in Description Logics. In Proceedings of the 16th International Workshop on Description Logics (DL'03), volume 81 of CEUR Workshop Proceedings, September 2003.

[18]

S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. Logic Based Approach to web services discovery and matchmaking. In Proceedings of the E-Services Workshop at ICEC'03, September 2003.

[19]

S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. Uniform Tableaux-Based Approach to Concept Abductiona and Contraction in ALN DL. In Proceedings of the 17th International Workshop on Description Logics (DL'04), volume 104 of CEUR Workshop Proceedings, 2004.

[20]

DAML+OIL Specifications. www.daml.org/2001/03/daml+oil-index.html, 2001.

[21]

T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. Abductive matchmaking using description logics. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pages 337--342, Acapulco, Messico, August 9-15 2003. Morgan Kaufmann, Los Altos.

Digital Library

[22]

T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. Semantic matchmaking in a P-2-P electronic marketplace. In Proc. Symposium on Applied Computing (SAC '03), pages 582--586. ACM, 2003.

Digital Library

[23]

T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. A system for principled Matchmaking in an electronic marketplace. In Proc. International World Wide Web Conference (WWW '03), pages 321--330, Budapest, Hungary, May 20-24 2003. ACM, New York.

Digital Library

[24]

T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. A system for Principled Matchmaking in an Electronic Marketplace. International Journal of Electronic Commerce, 8(4):9--37, 2004.

Digital Library

[25]

E. Di Sciascio, F. Donini, M. Mongiello, and G. Piscitelli. A Knowledge-Based System for Person-to-Person E-Commerce. In Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001), volume 44 of CEUR Workshop Proceedings, 2001.

[26]

F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in Description Logics. In G. Brewka, editor, Principles of Knowledge Representation, Studies in Logic, Language and Information, pages 193--238. CSLI Publications, 1996.

Digital Library

[27]

R. Doorenbos, O. Etzioni, and D. Weld. A Scalable Comparison-Shopping Agent for the World-Wide Web. In Proc. International Conference on Autonomous Agents '97, pages 39--48. ACM, 1997.

Digital Library

[28]

M. Dumas, B. Benatallah, N. Russell, and M. Spork. A Configurable Matchmaking Framework for Electronic Marketplaces. Electronic Commerce Research and Applications, 3(1):95--106, 2004.

[29]

T. Finin, R. Fritzson, D. McKay, and R. McEntire. KQML as an Agent Communication Language. In Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), pages 456--463. ACM, 1994.

Digital Library

[30]

P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books, MIT Press, Cambridge, MA, 1988.

[31]

M. R. Genesereth. Knowledge Interchange Format. In Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, pages 599--600, Cambridge, MA, 1991. Morgan Kaufmann, Los Altos.

[32]

Y. Gil and S. Ramachandran. PHOSPHORUS: a Task based Agent Matchmaker. In Proc. International Conference on Autonomous Agents '01, pages 110--111. ACM, 2001.

Digital Library

[33]

J. Gonzales-Castillo, D. Trastour, and C. Bartolini. Description Logics for Matchmaking of Services. In Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001), volume 44. CEUR Workshop Proceedings, 2001.

[34]

Y. Hoffner, C. Facciorusso, S. Field, and A. Schade. Distribution Issues in the Design and Implementation of a Virtual Market Place. Computer Networks, 32:717--730, 2000.

Digital Library

[35]

N. Jacobs and R. Shea. Carnot and Infosleuth - Database Technology and the Web. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 443--444. ACM, 1995.

Digital Library

[36]

N. Karacapilidis and P. Moraitis. Building an Agent-Mediated Electronic Commerce System with Decision Analysis Features. Decision Support Systems, 32:53--69, 2001.

Digital Library

[37]

Kasbah. http://www.kasbah.com.

[38]

D. Kuokka and L. Harada. Integrating Information Via Matchmaking. Journal of Intelligent Information Systems, 6:261--279, 1996.

Digital Library

[39]

H. Levesque. A Knowledge-Level Account for Abduction. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89), pages 1061--1067. Morgan Kaufmann, Los Altos, 1989.

[40]

L. Li and I. Horrocks. A Software Framework for Matchmaking Based on Semantic Web Technology. In Proc. International World Wide Web Conference (WWW '03), pages 331--339, Budapest, Hungary, May 20-24 2003. ACM, New York.

Digital Library

[41]

J. Madhavan, P. Bernstein, and E. Rahm. Generic schema matching with cupid. In Proc. of VLDB '01, pages 49--58, 2001.

Digital Library

[42]

P. Maes, R. Guttman, and A. Moukas. Agents that Buy and Sell. Communications of the ACM, 42(3):81--91, 1999.

Digital Library

[43]

D. McGuinness, R. Fikes, J. Hendler, and L. Stein. DAML+OIL: An Ontology Language for the Semantic Web. IEEE Intelligent Systems, 17(5):72--80, 2002.

Digital Library

[44]

OWL. www.w3.org/TR/owl-features/.

[45]

M. Paolucci, T. Kawamura, T. Payne, and K. Sycara. Semantic Matching of Web Services Capabilities. In The Semantic Web - ISWC 2002, number 2342 in Lecture Notes in Computer Science, pages 333--347. Springer-Verlag, 2002.

Digital Library

[46]

C. Peirce. Abduction and induction. In Philosophical Writings of Peirce, chapter 11. J. Buchler, 1955.

[47]

PersonaLogic. http://www.PersonaLogic.com.

[48]

P. Pu and B. Faltings. Enriching Buyers' Experience. CHI Letters, 2(1), 2000.

[49]

Resource Description Framework. http://www.w3.org/RDF/.

[50]

S. Avancha, A. Joshi, and T. Finin. Enhanced Service Discovery in Bluetooth. IEEE Computer, pages 96--99, 2002.

Digital Library

[51]

M. Ströbel and M. Stolze. A Matchmaking Component for the Discovery of Agreement and Negotiation Spaces in Electronic Markets. Group Decision and Negotiation, 11:165--181, 2002.

[52]

K. Sycara, M. Paolucci, M. Van Velsen, and J. Giampapa. The RETSINA MAS infrastructure. Autonomous agents and multi-agent systems, 7:29--48, 2003.

Digital Library

[53]

K. Sycara, S. Widoff, M. Klusch, and J. Lu. LARKS: Dynamic Matchmaking Among Heterogeneus Software Agents in Cyberspace. Autonomous agents and multi-agent systems, 5:173--203, 2002.

Digital Library

[54]

G. Teege. Making the difference: A subtraction operation for description logics. In Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), pages 540--550. MK, 1994.

[55]

D. Trastour, C. Bartolini, and C. Priest. Semantic Web Support for the Business-to-Business E-Commerce Lifecycle. In Proc. International World Wide Web Conference (WWW) '02, pages 89--98. ACM, 2002.

Digital Library

[56]

D. Veit, J. Muller, M. Schneider, and B. Fiehn. Matchmaking for Autonomous Agents in Electronic Marketplaces. In Proc. International Conference on Autonomous Agents '01, pages 65--66. ACM, 2001.

Digital Library

[57]

H. Wang, S. Liao, and L. Liao. Modeling Constraint-Based Negotiating Agents. Decision Support Systems, 33:201--217, 2002.

Digital Library

Cited By

Tinelli EColucci SDi Sciascio EDonini FOssowski SLecca P(2012)Knowledge compilation for automated Team Composition exploiting standard SQLProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232047(1680-1685)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2232047
Tinelli EColucci SGiannini SDi Sciascio EDonini F(2012)Large scale skill matching through knowledge compilationProceedings of the 20th international conference on Foundations of Intelligent Systems10.1007/978-3-642-34624-8_23(192-201)Online publication date: 4-Dec-2012
https://dl.acm.org/doi/10.1007/978-3-642-34624-8_23
Salam A(2011)Semantic Matchmaking and Decision Support System for Dependable Supplier Selection in the Extended Enterprise Supply ChainInternational Journal of Dependable and Trustworthy Information Systems10.4018/jdtis.20110101032:1(50-80)Online publication date: 1-Jan-2011
https://doi.org/10.4018/jdtis.2011010103
Show More Cited By

Index Terms

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

Recommendations

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 - fully compliant with the Semantic web vision and technologies - to extended matchmaking between demands and supplies in a semantic-enabled Electronic Marketplace, which allows the semantic-based ...
Knowledge elicitation for query refinement in a semantic-enabled e-marketplace
ICEC '05: Proceedings of the 7th international conference on Electronic commerce

In this paper we present a knowledge-based approach to the elicitation of information from advertisements, in the framework of a semantic-enabled marketplace. The elicited information can be used for advertisements enriching and refining, without ...
A Semantic Model for Matchmaking of Web Services Based on Description Logics

Matchmaking plays an important role in Web services interactions. The matchmaking based on keywords easily leads to low precision, Meanwhile, the current semantic service discovery methods perform service I/O based profile matching, there exists no ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICEC '04: Proceedings of the 6th international conference on Electronic commerce

March 2004

684 pages

ISBN:1581139306

DOI:10.1145/1052220

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ICEC: International Center for Electronic Commerce

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 March 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 150 of 244 submissions, 61%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
659
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Tinelli EColucci SDi Sciascio EDonini FOssowski SLecca P(2012)Knowledge compilation for automated Team Composition exploiting standard SQLProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232047(1680-1685)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2232047
Tinelli EColucci SGiannini SDi Sciascio EDonini F(2012)Large scale skill matching through knowledge compilationProceedings of the 20th international conference on Foundations of Intelligent Systems10.1007/978-3-642-34624-8_23(192-201)Online publication date: 4-Dec-2012
https://dl.acm.org/doi/10.1007/978-3-642-34624-8_23
Salam A(2011)Semantic Matchmaking and Decision Support System for Dependable Supplier Selection in the Extended Enterprise Supply ChainInternational Journal of Dependable and Trustworthy Information Systems10.4018/jdtis.20110101032:1(50-80)Online publication date: 1-Jan-2011
https://doi.org/10.4018/jdtis.2011010103
Fethallah HAmine CAmine BAlnsour AAljawarneh S(2010)Automated discovery of web servicesProceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications10.1145/1874590.1874603(1-4)Online publication date: 14-Jun-2010
https://dl.acm.org/doi/10.1145/1874590.1874603
Xu HGuan JZhu F(2010)LRIR: A hybrid semantic Web services matching approachThe 3rd International Conference on Information Sciences and Interaction Sciences10.1109/ICICIS.2010.5534808(335-339)Online publication date: Jun-2010
https://doi.org/10.1109/ICICIS.2010.5534808
Chen HLiu B(2009)Semantic-Based Approach to Selecting a Subject and Intelligent Composition of a Team in Digital Press OrganizationProceedings of the 2009 International Conference on Web Information Systems and Mining10.1109/WISM.2009.52(217-221)Online publication date: 7-Nov-2009
https://dl.acm.org/doi/10.1109/WISM.2009.52
Noia TSciascio EDonini F(2009)Computing Information Minimal Match Explanations for Logic-Based MatchmakingProceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 0210.1109/WI-IAT.2009.186(411-418)Online publication date: 15-Sep-2009
https://dl.acm.org/doi/10.1109/WI-IAT.2009.186
Möller RNeumann B(2008)Ontology-Based Reasoning Techniques for Multimedia Interpretation and RetrievalSemantic Multimedia and Ontologies10.1007/978-1-84800-076-6_3(55-98)Online publication date: 2008
https://doi.org/10.1007/978-1-84800-076-6_3
Lécué FLéger A(2006)A formal model for Web service compositionProceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering10.5555/1566652.1566665(37-46)Online publication date: 24-May-2006
https://dl.acm.org/doi/10.5555/1566652.1566665
Klusch MFries BSycara KNakashima HWellman MWeiss GStone P(2006)Automated semantic web service discovery with OWLS-MXProceedings of the fifth international joint conference on Autonomous agents and multiagent systems10.1145/1160633.1160796(915-922)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.1145/1160633.1160796
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents