document: 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 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 ( 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 . Our system is also the first to combine emerging Semantic Web standards for knowledge representation of rules ( RuleML ) with ontologies ( DAML+OIL ) 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 ) is running .
doc_bio_tags: O O O O O O O O B B O B O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I B I O O O O O O O B I B B O O O O O O O O O O O O B I O O B O O O O O O O O B I B O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I O O O O O O O O O O O O O O O O O O O O O O B I O O B I O B O O O O B O O O O O O O O O O O O O O O O B I O O O O O O O O O O B I O O O O O O O O O O O