Representing e-business rules for the Semantic Web: Situated courteous logic programs in RuleML (2001) [17 citations — 6 self]
|
Abstract:
We give an overview of current eorts 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 are helping to lead. We discuss the issues of standardization and Webizing which RuleML addresses. We extend, for the rst time, RuleML's denition from the ordinary logic programs KR to situated courteous logic programs (SCLP), an expressively general KR that supports prioritized con ict handling and procedural attachments for actions and queries. We give an overview of our prototype SWEET (Semantic WEB Enabling Technology), a set of tools which enable, for the rst 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.
Citations
| 197 | Logic Programming and Knowledge Representation – Baral, Gelfond - 1994 |
| 54 | A declarative approach to business rules in contracts: courteous logic programs in xml – Grosof, Labrou, et al. - 1999 |
| 51 | A Declarative Approach to Business Rules – Grosof, Labrou, et al. - 1999 |
| 27 | Courteous Logic Programs: Prioritized Conflict Handling for Rules – Grosof - 1997 |
| 22 | Compiling Prioritized Default Rules Into Ordinary Logic Programs – Grosof - 1999 |
| 12 | Building Commercial Agents: An IBM Research Perspective (Invited Talk – Grosof - 1997 |
| 11 | A courteous compiler from generalized courteous logic programs to ordinary logic programs – Grosof - 1999 |
| 4 | Prioritized con handling for logic programs – Grosof - 1997 |
