Semantic web support for the business-to-business e-commerce lifecycle

If an e-services approach to electronic commerce is to become widespread, standardisation of ontologies, message content and message protocols will be necessary. In this paper, we present a lifecycle of a business-to-business e-commerce interaction, and show how the Semantic Web can support a service description language that can be used throughout this lifecycle. By using DAML, we develop a service description language sufficiently expressive and flexible to be used not only in advertisements, but also in matchmaking queries, negotiation proposals and agreements. We also identify which operations must be carried out on this description language if the B2B lifecycle is to be fully supported. We do not propose specific standard protocols, but instead argue that our operators are able to support a wide variety of interaction protocols, and so will be fundamental irrespective of which protocols are finally adopted.

[1]  Craig A. Knoblock,et al.  Query processing in the SIMS information mediator , 1997 .

[2]  Nicholas R. Jennings,et al.  Negotiation decision functions for autonomous agents , 1998, Robotics Auton. Syst..

[3]  Nicholas R. Jennings,et al.  A Generic Software Framework for Automated Negotiation , 2002 .

[4]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[5]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[6]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[7]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[8]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[9]  Siani Pearson,et al.  An Adaptive Choice of Messaging Protocol in Multi Agent Systems , 1998, Foundations and Applications of Multi-Agent Systems.

[10]  Daniel Kuokka,et al.  On Using KQML for Matchmaking , 1995, ICMAS.

[11]  M. Calisti,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2000 .

[12]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[13]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[14]  P. Klemperer.  Auction Theory: A Guide to the Literature , 1999 .

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

[16]  Katia P. Sycara,et al.  Middle-Agents for the Internet , 1997, IJCAI.

[17]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[18]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[19]  Arvind Malhotra,et al.  Xml schema part 2: datatypes , 1999 .

[20]  Marian H. Nodine,et al.  Active Information Gathering in InfoSleuth , 1999, CODAS.

[21]  Claudio Bartolini,et al.  A Semantic Web Approach to Service Description for Matchmaking of Services , 2001, SWWS.

[22]  Ian Horrocks,et al.  Comparing Subsumption Optimizations , 1998, Description Logics.

[23]  Anura Gurugé,et al.  Universal Description, Discovery, and Integration , 2004 .

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

[25]  Nicholas R. Jennings,et al.  Agent-Based Business Process Management , 1996, Int. J. Cooperative Inf. Syst..

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

[27]  Michael P. Wellman,et al.  A Parametrization of the Auction Design Space , 2001, Games Econ. Behav..

[28]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[29]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[30]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[31]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[32]  Ian Horrocks,et al.  FaCT and iFaCT , 1999, Description Logics.