This is the root for the RIF Core Design document. The official document is extracted from the Wiki, starting at this page, by a program called "wikitr".
RIF Core Design
- Editor
- Harold Boley
- Editor
- Michael Kifer
- Publication Date
- 18 December 2006
- Request For Comments
Send comments to public-rif-wg@w3.org (assuming you're in the WG)
- Comments Due By
- 19 December 2006
- Document Class Code
- ED
- This Version
- Previous Version
- Latest Version
Abstract
This document, developed by the Rule Interchange Format (RIF) Working Group, specifies the core design for a format that allows rules to be translated between rule languages and thus transferred between rule systems.
In Phase 1, the RIF Working Group is first defining a CORE Condition Language. These conditions are then used as rule bodies to define a CORE Horn Language. A human-oriented syntax, an XML syntax, and the semantics of the condition language and of the Horn rule language are given.
Table Of Contents
Discussion
Syntax of non-primitive sorts (types) and semantics parameterized w.r.t. external calls still missing. Section Positive Conditions may evolve towards a larger base or develop towards extensions using material from section A.1.1 Basis: Positive Conditions over Bipartitioned Constants of the Extensible Design.
Back: FrontPage --- Root: FrontPage --- Next: RIF Condition Language