Representing business contracts in RuleML
نویسنده
چکیده
This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML. The task of monitoring contract execution and performance requires a logical account of deontic and defeasible aspects of legal language; currently such aspects are not covered by RuleML; accordingly we show how to extend it to cover such notions. From its logical form, the contract will be thus transformed into a machine readable rule notation and eventually implemented as executable semantics via any mark-up languages depending on the client’s preference, for contract monitoring purposes.
منابع مشابه
SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions
We address the problem in automated knowledge-based e-contracts of how to represent exception handling provisions – which in many (if not most) natural language contracts constitute the majority of the contract's volume. We make three main novel contributions. First, we newly extend the previous SweetDeal e-contracting approach to incorporate ontology knowledge, specifically ontologies about bu...
متن کاملModelling Contracts Using RuleML
This paper presents an approach for the specification and implementation of e-contracts for Web monitoring. This is done in the setting of RuleML. We argue that monitoring contract execution requires also a logical account of deontic concepts and of violations. Accordingly, RuleML is extended to cover these aspects. 1 Background and Motivation Business contracts are mutual agreements between tw...
متن کاملSweetDeal : Represen with Exceptions using and Process
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 inc...
متن کاملRepresenting E - Business Rules for the Semanti Web : Situated Courteous Logi Programs in RuleML
متن کامل
Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approach. SweetRules is a uniquely powerful integrated set of tools for semantic web rules and ontologies. SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Cooperative Inf. Syst.
دوره 14 شماره
صفحات -
تاریخ انتشار 2005