This is an archive of an inactive wiki and cannot be modified.

A Versatile, Declarative Format with Annotations


I. Format to be defined

1. Expresiveness

2. Syntax

3. Semantics

II. Annotations to rule sets in the format to be defined

4. Type of rules

5. Intended declarative semantics

6. Intended procedural semantics

7. Conformance

8. Open issues

III. Overall idea on RIF's design process

Follow the approach of developing