A software framework for matchmaking based on semantic web technology

ABSTRACT

An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content and message protocols will be necessary.In this paper we investigate how Semantic and Web Services technologies can be used to support service advertisement and discovery in e-commerce. In particular, we describe the design and implementation of a service matchmaking prototype which uses a DAML-S based ontology and a Description Logic reasoner to compare ontology based service descriptions. We also present the results of initial experiments testing the performance of this prototype implementation in a realistic agent based e-commerce scenario.

REFERENCES

• 1: A. Ankolekar, M. Burstein, J. R. Hobbs, O. Lassila, D. L. Martin, S. A. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. Daml-s: Semantic markup for web services. In Proc. of the International Semantic Web Workshop, 2001.
• 2: F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2002.
• 3: C. Bartolini, C. Preist, and N. Jennings. A generic software framework for automated negotiation. HP Labs Technical Report HPL-2002-2, 2002.
• 4: T. Berners-Lee. The semantic web as a language of logic, 1998.
• 5: D. Brickley and R. V. Guha. Resource description framework (RDF) schema specification 1.0. W3C Candidate Recommentation, Mar. 2000. http://www.w3.org/TR/2000/CR-rdf-schema-20000327/.
• 6: M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL web ontology language 1.0 reference, July 2002. http://www.w3.org/TR/owl-ref/.
• 7: Ian Horrocks, DAML+OIL: A Reason-able Web Ontology Language, Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology, p.2-13, March 25-27, 2002
• 8: I. Horrocks and P. F. Patel-Schneider. Comparing subsumption optimizations. In E. Franconi, G. De Giacomo, R. M. MacGregor, W. Nutt, C. A. Welty, and F. Sebastiani, editors, Collected Papers from the International Description Logics Workshop (DL'98), pages 90--94. CEUR, May 1998.
• 9: Ian Horrocks , Peter F. Patel-Schneider , Frank van Harmelen, Reviewing the design of DAML+OIL: an ontology language for the semantic web, Eighteenth national conference on Artificial intelligence, p.792-797, July 28-August 01, 2002, Edmonton, Alberta, Canada
• 10: I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ description logic. In B. Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 199--204. Morgan Kaufmann, 2001.
• 11: Ian Horrocks , Ulrike Sattler , Stephan Tobies, Practical Reasoning for Expressive Description Logics, Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, p.161-180, September 06-10, 1999
• 12: Ian Horrocks , Ulrike Sattler , Stephan Tobies, Reasoning with Individuals for the Description Logic SHIQ, Proceedings of the 17th International Conference on Automated Deduction, p.482-496, June 17-20, 2000
• 13: http://jade.cselt.it/.
• 14: D. L. McGuinness. Ontological issues for knowledge-enhanced search. In Proc. of FOIS, Frontiers in Artificial Intelligence and Applications. IOS-press, 1998.
• 15: Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth(tm), Proceedings of the 15th International Conference on Data Engineering, p.358, March 23-26, 1999
• 16: M. H. Nodine, J. Fowler, T. Ksiezyk, B. Perry, M. Taylor, and A. Unruh. Active information gathering in infosleuth. International Journal of Cooperative Information Systems, 9(1-2):3--28, 2000.
• 17: Oiled portal, http://oiled.man.ac.uk/.
• 18: Massimo Paolucci , Takahiro Kawamura , Terry R. Payne , Katia P. Sycara, Semantic Matching of Web Services Capabilities, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.333-347, June 09-12, 2002
• 19: http://www-2.cs.cmu.edu/softagents/retsina.html.
• 20: Katia Sycara , Matthias Klusch , Seth Widoff , Jianguo Lu, Dynamic service matchmaking among agents in open information environments, ACM SIGMOD Record, v.28 n.1, p.47-53, March 1999 [doi>10.1145/309844.309895]
• 21: K. Sycara, J. Lu, M. Klusch, and S. Widoff. Matchmaking among heterogeneous agents on the internet. In Proc. of the AAAI Spring Symposium on Intelligent Agents in Cyberspace, 1999.
• 22: S. Tessaris. Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester, 2001.
• 23: D. Trastour, C. Bartolini, and C. Preist. Semantic web support for the business-to-business e-commerce lifecycle. HP Labs Technical Report HPL-2002-3, 2002.
• 24: Universal description, discovery and integration (uddi), http://www.uddi.org.
• 25: F. van Harmelen, P. F. Patel-Schneider, and I. Horrocks. Reference description of the DAML+OIL (March 2001) ontology markup langauge, Mar. 2001. http://www.daml.org/2001/03/reference.html.
• 26: Web services description language (wsdl) 1.1. w3c note 15 march 2001, http://www.w3.org/tr/wsdl/.
• 27: C. Zaniolo. The logical data language (ldl): An integrated approach to logic and databases. MCC Technical Report STP-LD-328-91, 1991.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics
          Subjects: Performance measures

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representation languages

General Terms:
Experimentation, Languages, Performance, Standardization

Keywords:
ontologies, semantic web, web services