This is the root for the RIF BLD 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 Basic Logic Dialect
- Editor
- Harold Boley (National Research Council Canada)
- Editor
- Michael Kifer (State University of New York at Stony Brook)
- Publication Date
- 30 October 2007
- Request For Comments
- Working Group participants please send comments as soon as possible, for a 30 October publication decision. Small changes may be made along the way.
- Comments Due By
- 12 December 2007
- Document Class Code
- WD
- This Version
- Previous Version
- Latest Version
Abstract
This document, developed by the Rule Interchange Format (RIF) Working Group, specifies a basic format that allows logic rules to be exchanged between rule-based systems.
As part of its Phase 1 deliverable, the RIF Working Group defines a condition language, which is envisioned to be a shared part of all RIF dialects. The RIF Condition Language is intended to be used in the bodies of the rules in RIF Basic Logic Dialect (RIF-BLD). The condition language is then extended to Horn rules and this document specifies a presentation syntax and a corresponding concrete XML syntax for RIF-BLD. A model-theoretic semantics for the language is also defined.
Table Of Contents
Discussion
Temporarily Removed Section:
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. ***