• CORE 2007-6-28

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

http://www.w3.org/2005/rules/wg/wiki/Core

Latest Version

http://www.w3.org/TR/rif-core

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

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

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. ***