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
- Harold Boley (National Research Council Canada)
- 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 email@example.com (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
- This Version
- (expands on the first published version)
- Previous Version
- Latest Version
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 Parts will be color-coded in blue. ***
*** Comments/Issues will be color-coded in green. ***
General Discussion Parts and Comments/Issues:
*** 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. ***