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

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 (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

  1. RIF Overview

  2. RIF Condition Language

    1. Positive Conditions

    2. Slotted Conditions

    3. List Constructor

  3. RIF Rule Language

    1. Horn Rules

  4. RIF Compatibility

    1. RIF-OWL Compatibility

    2. RIF-RDF Compatibility

  5. Appendix: Specification

  6. End Notes



General Discussion Parts and Comments/Issues: