SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions

International Journal of Electronic Commerce

Volumn 8, Issue 4, 2004, Pages 61-97

  Grosof, Benjamin N ^a   Poon, Terrence C ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b ORACLE CORPORATION   (United States)

Author keywords

Business process automation; Description logic; Electronic contracts; Intelligent software agents; Knowledge representation; Knowledge based systems; Logic programs; Ontologies; Process descriptions; Process knowledge; RuleML; Rules; Semantic Web; Semantic Web Services; Web services; XML

Indexed keywords

EID: 3543146027     PISSN: 10864415     EISSN: None     Source Type: Journal    
DOI: 10.1080/10864415.2004.11044305     Document Type: Article

References (52)

1. Antoniou, G. Nonmonotonic rule systems using ontologies. In M. Schroeder and G. Wagner (eds.), Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 2002 http:// tmitwww.tm.tue.nl/staff/gwagner/RuleML-BR-SW.html.
2. Berners-Lee, T., and W3C Team Staff. Semantic Web stack diagram www.w3.org/DesignIssues/diagrams/sw-stack-2002.png.
3. Bernstein, A. The product workbench: An environment for the mass customization of production processes. In J. Bubenko and S. March (eds.), Proceedings of the Eighth Workshop on Information Technology and Systems, 1998 www.ifi.unizh.ch/ddis/bernstein.0.html.
4. Bernstein, A. How can cooperative work tools support dynamic group processes? Bridging the specificity frontier. In W. Kellogg and S. Whittaker (eds.), Proceedings of the Conference on Computer Supported Cooperative Work. Philadelphia: ACM Press, 2000.
5. Bernstein, A., and Grosof, B.N. Beyond monotonic inheritance: Towards semantic Web process ontologies. Working paper. Sloan School of Business, Massachusetts Institute of Technology, August 2003 http://ebusiness.mit.edu/bgrosof.
6. Boley, H.; Dean, M.; Grosof, B.N.; Horrocks, I.; Patel-Schneider, P.; and Tabet, S. SWRL: A semantic Web rules language combining OWL and RuleML. November 2003 www.daml.org/2003/11/swrl.
7. Boley, H.; Grosof, B.N.; Tabet, S.; et al. RuleML initiative www.ruleml.org and http://ebusiness.mit.edu/bgrosof/#RuleML.
8. Chan, H.Y.; Grosof, B.N.; et al. IBM CommonRules www.alphaworks.ibm.com and www.research.ibm.com/rules.
9. Common Logic http://cl.tamu.edu. Formerly known as Knowledge Interchange Format (http://logic.stanford.edu/kif/and www.cs.umbc.edu/kif/).
10. DAML+OIL Reference (March 2001) www.w3.org/TR/daml+oilreference.
11. DAML Services Coalition (A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng). DAML-S: Semantic markup for Web services. In I.F. Cruz and S. Decker (eds.), Proceedings of the International Semantic Web Working Symposium, 2001 www.daml.org/services.
12. DARPA Agent Markup Language Program www.daml.org. This includes, in part, DAML-Rules (www.daml.org/rules/) and DAML-Services (www.semanticweb.org/SWWS/).
13. Dellarocas, C. A coordination perspective on software architecture: Towards a design handbook for integrating software components. Ph.D. dissertation, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1996.
14. ebXML (ebusiness XML) standards effort www.oasis-open.org.
15. Fensel, D., and Bussler, C. The Web Service Modeling Framework (WSMF). White paper, 2002 http://informatik.uibk.ac.at/users/c70385/wese/publications.html.
16. FIPA (Foundation for Intelligent Physical Agents). Agent communication language standards effort www.fipa.org.
17. Firat, A.; Madnick, S.; and Grosof, B.N. Financial information integration in the presence of equational ontological conflicts. In A. Basu and S. Dutta (eds.), Proceedings of the 12th Workshop on Information Technologies and Systems, 2002 http://ecweb.ecenter.smu.edu/wits02.
18. Firat, A.; Madnick, S.; and Grosof, B.N. Knowledge integration to overcome ontological heterogeneity: Challenges from financial information systems. In L. Applegate, R. Galliers, and J.I. DeGross (eds.), Proceedings of the 23rd International Conference on Information Systems, 2002 http://dsi.esade.es/icis2002.
19. Friedman-Hill, E., et al. Jess (Java Expert System Shell) http://herzberg.ca.sandia.gov/jess.
20. Greenwood, D., et al. Oasis legal XML econtracts technical committee www.oasis-open.org/committees/legalxml-econtracts.
21. Grosof, B.N. Representing e-business rules for rules for the semantic Web: Situated courteous logic programs in RuleML. In J. Parsons and O. Sheng (eds.), Proceedings of the 11th Workshop on Information Technology and Systems, 2001 www.busi.mun.ca/parsons/wits2001.
22. Grosof, B.N. Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications, 3, 1 (spring 2004), 2-20.
23. Grosof, B.N. A semantic Web services primer. White paper http://ebusiness.mit.edu/bgrosof/#SWSPrimer.
24. Grosof, B.N.; Gandhe, M.D.; and Finin, T.W. SweetJess: Translating DamlRuleML to Jess. In M. Schroeder and G. Wagner (eds.), Proceedings on International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 2002 http://tmitwww.tm.tue.nl/staff/gwagner/RuleMLBR-SW.html.
25. Grosof, B.N.; Gandhe, M.D.; and Finin, T.W. SweetJess: Inferencing in situated courteous RuleML via translation to and from Jess rules. Working paper. Sloan School of Management, Massachusetts Institute of Technology, May 2003 http://ebusiness.mit.edu/bgrosof.
26. Grosof, B.N., and Horrocks, I. Description logic programs: Combining logic programs with description logic. In Y.-F.R. Chen, L. Kovacs, and S. Lawrence (eds.), Proceedings of the 12th International Conference on the World Wide Web, 2003 www.www2003.org/cdrom/index.html.
27. Grosof, B.N.; Labrou, Y.; and Chan, H.Y. A declarative approach to business rules in contracts: Courteous logic programs in XML. In M. Wellman (ed.), Proceedings of the First ACM Conference on Electronic Commerce. New York: ACM Press, 1999 www.research.ibm.com/iac/ec99.
28. Grosof, B.N., and Poon, T.C. Representing agent contracts with exceptions using XML Rules, ontologies, and process descriptions. In M. Schroeder and G. Wagner (eds.), Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 2002 http:// tmitwww.tm.tue.nl/staff/gwagner/RuleML-BR-SW.html.
29. Grosof, B.N., and Poon, T.C. SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In Y-F.R. Chen, L. Kovacs, and S. Lawrence (eds.), Proceedings of the 12th International Conference on the World Wide Web, 2003 www.www2003.org/cdrom/index.html.
30. Joint U.S./EU Ad Hoc Agent Markup Language Committee www.daml.org/committee.
31. Klein, M.; Dellarocas, C.; and Rodríguez-Aguilar, J.A. A knowledge-based methodology for designing robust multi-agent systems. In C. Castelfranchi and W.L. Johnson (eds.), Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems, 2002 www.autonomousAgents.org/2002.
32. Lassila, O.; Swick, R; et al. (eds.) Resource Description Framework (RDF) www.w3.org/RDF.
33. Lee, J.; Gruninger, M.; Jin, Y; Malone, T.; Tate, A.; and Yost, G. The PIF process interchange format and framework version 1.1. In Proceedings of the Workshop on Ontological Engineering, 1996. Updated version 1.2 available at http://ccs.mit.edu/pif.
34. Legal XML www.oasis-open.org.
35. Malone, T.W.; Crowston, K.; and Herman, G. (eds.) Organizing Business Knowledge: The MIT Process Handbook. Cambridge, MA: MIT Press, 2003.
36. Malone, T.W.; Crowston, K.; Lee, J.; Pentland, B.; Dellarocas, C.; Wyner, G.; Quimby, J.; Osborn, C.S.; Bernstein, A.; Herman, G.; Klein, M.; and O'Donnell, E. Tools for inventing organizations: Toward a handbook of organizational processes. Management Science, 45, 3 (1999), 425-443.
37. MIT Process Handbook http://ccs.mit.edu/ph.
38. Niemela, I., and Simons, P. Smodels (version 1) www.tcs.hut.fi/Software/smodels.
39. Oasis www.oasis-open.org.
40. OWL (Ontology Working Language). W3C Web-Ontologies Working Group www.w3.org/2001/sw/webont.
41. Reeves, D.M.; Wellman, M.P.; and Grosof, B.N. Automated negotiation from declarative contract descriptions. Computational Intelligence, 18, 4 (November 2002), 482-500.
42. Schlenoff, C.; Gruninger, M.; Tissot, F.; Valois, J.; Lubell, J.; and Lee, J. The Process Specification Language (PSL): Overview and Version 1.0 Specification [NISTIR 6459]. Gaithersburg, MD: National Institute of Standards and Technology, 2000.
43. Semantic Web activity of the World Wide Web Consortium www.w3.org/2001/sw.
44. Semantic Web Services Initiative (SWSI) www.swsi.org.
45. SOAP www.w3.Org/2000/xp/Group and www.w3.org/2002/ws.
46. UDDI (Universal Description, Discovery, and Integration) www.uddi.org.
47. Warren, D., et al. XSB logic programming system http://xsb.sourceforge.net.
48. Web Services Activity of the World Wide Web Consortium www.w3.org/2002/ws.
49. Web Services Business Process Execution Language (WSBPEL) www.oasis-open.org.
50. Web Services Choreography Working Group (www.w3.org/2002/ws/chor/).
51. WSDL (Web Service Definition Language) www.w3.org/2002/ws and www.w3.org/TR/wsdl.
52. XSLT (eXtensible Stylesheet Language Transformations) www.w3.org/Style/XSL and www.w3.org/TR/xslt.