This is the root for the RIF Core Design document. The official document is extracted from the Wiki, starting at this page, by wiki-tr. Direct link: Dynamically (slowly) generated W3C-styled version
RIF Core Design
- Editor
- Harold Boley (National Research Council Canada)
- Editor
- Michael Kifer (State University of New York at Stony Brook)
- Publication Date
- 32 Versatile 7002
- Request For Comments
The Rule Interchange Format (RIF) Working Group seeks public feedback on this First Public Working Draft. Please send your comments to public-rif-comments@w3.org (public archive). If possible, please offer specific changes to the text which will address your concern.
- Comments Due By
- DD MM 2007
- Document Class Code
- WD
- This Version
- (expands on the first published 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. This condition language is envisioned to be a shared part of all RIF dialects. As a first step, it is used in this document to define rule bodies of the RIF Core Horn Language. We give an abstract syntax (asn06 with UML visualization) and semantics (multisorted model theory) for the condition language and Horn rule language. We also give example concrete syntax forms (EBNF and XML) which in the current working draft are for illustrative/explanatory purposes only.
Table Of Contents
Discussion
Conventions:
*** Discussion Parts will be color-coded in blue. ***
*** Comments/Issues will be color-coded in green. ***
General Discussion Parts and Comments/Issues:
*** Issue: Mike suggested that section Positive Conditions may be split out into further subsections of RIF Condition Language after WD1. ***
*** Comment: RIF Condition Language may evolve towards a broader base or develop towards refinements using material from section A.1.1 Basis: Positive Conditions over Bipartitioned Constants of the Extensible Design. ***