SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerg...
Main Authors: | , |
---|---|
Format: | Working Paper |
Language: | en_US |
Published: |
2003
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/3545 |
_version_ | 1826196728967069696 |
---|---|
author | GROSOF, BENJAMIN POON, TERRENCE C. |
author_facet | GROSOF, BENJAMIN POON, TERRENCE C. |
author_sort | GROSOF, BENJAMIN |
collection | MIT |
description | SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend the SweetDeal approach by also incorporating process knowledge descriptions whose ontologies are represented in DAML+OIL (the close predecessor of W3C's OWL, the emerging standard for Semantic Web ontologies), thereby enabling more complex contracts with behavioral provisions, especially for handling exception conditions (e.g., late delivery or non-payment) that might arise during the execution of the contract. This provides a foundation for representing and automating deals about services – in particular, about Web Services, so as to help search, select, and compose them. We give a detailed application scenario of late delivery in manufacturing supply chain management (SCM). In doing so, we draw upon our new formalization of process ontology knowledge from the MIT Process Handbook, a large, previously-existing repository used by practical industrial process designers. Our system is the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) with ontologies (DAML+OIL/OWL) with each other, and moreover for a practical e-business application domain, and further to do so with process knowledge. This also newly fleshes out the evolving concept of Semantic Web Services. A prototype (soon public) i |
first_indexed | 2024-09-23T10:35:56Z |
format | Working Paper |
id | mit-1721.1/3545 |
institution | Massachusetts Institute of Technology |
language | en_US |
last_indexed | 2024-09-23T10:35:56Z |
publishDate | 2003 |
record_format | dspace |
spelling | mit-1721.1/35452019-04-12T08:25:02Z SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions GROSOF, BENJAMIN POON, TERRENCE C. Electronic contracts electronic commerce electronic business XML Semantic Web Web Services Semantic Web Services knowledge representation intelligent agents software agents rules logic programs ontologies business rules business process automation process descriptions process knowledge RuleML RDF Description Logic DAML+OIL OWL knowledge-based declarative e-contracts e-commerce e-business information technologies SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend the SweetDeal approach by also incorporating process knowledge descriptions whose ontologies are represented in DAML+OIL (the close predecessor of W3C's OWL, the emerging standard for Semantic Web ontologies), thereby enabling more complex contracts with behavioral provisions, especially for handling exception conditions (e.g., late delivery or non-payment) that might arise during the execution of the contract. This provides a foundation for representing and automating deals about services – in particular, about Web Services, so as to help search, select, and compose them. We give a detailed application scenario of late delivery in manufacturing supply chain management (SCM). In doing so, we draw upon our new formalization of process ontology knowledge from the MIT Process Handbook, a large, previously-existing repository used by practical industrial process designers. Our system is the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) with ontologies (DAML+OIL/OWL) with each other, and moreover for a practical e-business application domain, and further to do so with process knowledge. This also newly fleshes out the evolving concept of Semantic Web Services. A prototype (soon public) i 2003-09-16T19:51:02Z 2003-09-16T19:51:02Z 2003-09-16T19:51:02Z Working Paper http://hdl.handle.net/1721.1/3545 en_US MIT Sloan School of Management Working Paper;4424-03 566767 bytes application/pdf application/pdf |
spellingShingle | Electronic contracts electronic commerce electronic business XML Semantic Web Web Services Semantic Web Services knowledge representation intelligent agents software agents rules logic programs ontologies business rules business process automation process descriptions process knowledge RuleML RDF Description Logic DAML+OIL OWL knowledge-based declarative e-contracts e-commerce e-business information technologies GROSOF, BENJAMIN POON, TERRENCE C. SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions |
title | SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions |
title_full | SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions |
title_fullStr | SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions |
title_full_unstemmed | SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions |
title_short | SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions |
title_sort | sweetdeal representing agent contracts with exceptions using xml rules ontologies and process descriptions |
topic | Electronic contracts electronic commerce electronic business XML Semantic Web Web Services Semantic Web Services knowledge representation intelligent agents software agents rules logic programs ontologies business rules business process automation process descriptions process knowledge RuleML RDF Description Logic DAML+OIL OWL knowledge-based declarative e-contracts e-commerce e-business information technologies |
url | http://hdl.handle.net/1721.1/3545 |
work_keys_str_mv | AT grosofbenjamin sweetdealrepresentingagentcontractswithexceptionsusingxmlrulesontologiesandprocessdescriptions AT poonterrencec sweetdealrepresentingagentcontractswithexceptionsusingxmlrulesontologiesandprocessdescriptions |