Representing e-commerce rules via situated courteous logic programs in RuleML

摘要

We give an overview of current efforts to standardize e-business rules knowledge representation (KR) in XML as part of the Semantic Web. We focus especially on the design approach and criteria of RuleML, an emerging standard that we co-lead. We discuss the issues of standardization and Webizing which RuleML addresses. We extend, for the first time, RuleML’s definition from the ordinary logic programs KR to situated courteous logic programs (SCLPs), an expressively general KR that supports prioritized conflict handling and procedural attachments for actions and queries. We give an overview of our prototype SweetRules (Semantic WEb Enabling Technology – Rules component) a set of tools which enable, for the first time, communication and inferencing of e-business rules represented in SCLP RuleML. We illustrate SCLP RuleML by giving example rulesets from the realm of e-commerce business policies in supply chain management.