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

ACM International Conference Proceeding Series

Volumn 60, Issue , 2004, Pages 41-50

  Colucci, Simona ^a   Di Noia, Tommaso ^a   Di Sciascio, Eugenio ^a   Mongiello, Marina ^a   Donini, Francesco M ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TUSCIA   (Italy)

Author keywords

concept abduction; concept contraction; description logics; e commerce; matchmaking; negotiable constraints; semantic web

Indexed keywords

CONCEPT ABDUCTION; CONCEPT CONTRACTION; DESCRIPTION LOGIC; E-COMMERCE; MATCHMAKING; NEGOTIABLE CONSTRAINTS;

ELECTRONIC COMMERCE; INFERENCE ENGINES; SEMANTIC WEB; SEMANTICS;

DATA DESCRIPTION;

EID: 77954492463     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1052220.1052226     Document Type: Conference Paper

References (57)

1. Y. Arens, C. A. Knoblock, and W. Shen. Query Reformulation for Dynamic Information Integration. Journal of Intelligent Information Systems, 6:99-130, 1996.
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.
3. F. Baader, D. Calvanese, D. Mc Guinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2002.
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.
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.
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.
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.
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.
16. F. Casati and M. C. Shan. Dynamic and Adaptive Composition of E-Services. Information Systems, 26:143-163, 2001.
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.
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.
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.
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.
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.
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.
28. M. Dumas, B. Benatallah, N. Russell, and M. Spork. A Configurable Matchmaking Framework for Electronic Marketplaces. Electronic Commerce Research and Appplications, 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.
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.
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.
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.
36. N. Karacapilidis and P. Moraitis. Building an Agent-Mediated Electronic Commerce System with Decision Analysis Features. Decision Support Systems, 32:53-69, 2001.
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.
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.
41. J. Madhavan, P. Bernstein, and E. Rahm. Generic schema matching with cupid. In Proc. of VLDB '01, pages 49-58, 2001.
42. P. Maes, R. Guttman, and A. Moukas. Agents that Buy and Sell. Communications of the ACM, 42(3):81-91, 1999.
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.
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.
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.
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.
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.
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.
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.
57. H. Wang, S. Liao, and L. Liao. Modeling Constraint-Based Negotiating Agents. Decision Support Systems, 33:201-217, 2002.