W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

disambiguating the term "RIF"

From: Sandro Hawke <sandro@w3.org>
Date: Mon, 20 Mar 2006 17:00:32 -0500
To: Christian de Sainte Marie <csma@ilog.fr>
Cc: RIF WG <public-rif-wg@w3.org>
Message-Id: <20060320220032.967C24F255@homer.w3.org>

> > - Followup to publication
> > - Requirements (including: RIF terminology in requirements)
> > Wiki page http://www.w3.org/2005/rules/wg/wiki/UCR/Requirements
> Replace last item with:
> - Design Constraints (including: RIF terminology in design constraints)
> Wiki page http://www.w3.org/2005/rules/wg/wiki/Design_Contraints

(I've corrected the typo in that name; but that one will redirect to the
correct one [1].)

Also, specifically on terminology, when I was going over the notes from
the brainstorm session [2], I found we were using the term "RIF" quite
ambiguously, so I'd like to clear that up by proposing some new terms:

  RIF Core

    The extensible format specified during Phase 1, suitable for
    interchanging Horn rules. Constraints on RIF Core concern the Phase
    1 work.  

  Standard RIF

    RIF Core extended with some set of extensions approved as
    Recommendations by the W3C. Constraints on "Standard RIF" concern
    work in either Phase 2 or by later Working Groups.  

  Extended RIF

    RIF Core extended with some set of extensions not approved as
    Recommendations by the W3C.  


    an ambiguous term usually meaning either "Standard RIF" or "Extended
    RIF" (or, of course, the Rule Interchange Format Working Group

  RIF Dialect

    The language/format formed when combining RIF Core with a particular
    set of extensions  


    A ruleset is covered by a RIF Dialect if that dialect can be used to
    faithfully convey that ruleset. (Exactly what it means to
    "faithfully convey" the ruleset still needs to be refined.) A
    language is covered by a RIF Dialect if and only if all rulesets
    which can be written in that language are covered. 

  Example: "Extended RIF must cover full first-order logic" is short for
  "it must be possible to specify an extension to RIF Core, such that
  RIF-Core-plus-this-extension forms a language in which one can write
  all the well-formed formulas of full first-order logic."

This text is on the wiki [3].   There may be more useful thing to add
like "RIF Translator", if these terms keep coming up in the requirements

    -- sandro

[1] http://www.w3.org/2005/rules/wg/wiki/Design_Constraints
[2] http://www.w3.org/2005/rules/wg/wiki/F2F2/RequirementsBrainstorming
[3] http://www.w3.org/2005/rules/wg/wiki/Design_Constraints/Terminology
Received on Monday, 20 March 2006 22:00:35 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:37 UTC