CR Transition Request

From RIF
Jump to: navigation, search

This is a transition request, and also serves as an agenda for the upcoming Transition Meeting with the Director.


__NUMBEREDHEADINGS__

1 Titles

We propose to publish the following documents as Candidate Recommendation:

Shortname Wiki Draft Preview Title
rif-core Core rif-core RIF Core Dialect
rif-bld BLD rif-bld RIF Basic Logic Dialect
rif-prd PRD rif-prd RIF Production Rule Dialect
rif-dtb DTB rif-dtb RIF Datatypes and Builtins 1.0
rif-rdf-owl SWC rif-rdf-owl RIF RDF and OWL Compatibility
rif-fld FLD rif-fld RIF Framework for Logic Dialects

The estimated publication date is 17 Sept.

2 Abstracts and Status Sections

The abstract of each document is below:

Document Abstract
Core This document, developed by the Rule Interchange Format (RIF) Working Group, specifies RIF-Core, a common subset of RIF-BLD and RIF-PRD based on RIF-DTB 1.0. The RIF-Core presentation syntax and semantics are specified by restriction in two different ways. First, RIF-Core is specified by restricting the syntax and semantics of RIF-BLD, and second, by restricting RIF-PRD. The XML serialization syntax of RIF-Core is specified by a mapping from the presentation syntax. A normative XML schema is also provided.
BLD This document, developed by the Rule Interchange Format (RIF) Working Group, specifies the Basic Logic Dialect, RIF-BLD, a format that allows logic rules to be exchanged between rule systems. The RIF-BLD presentation syntax and semantics are specified both directly and as specializations of the RIF Framework for Logic Dialects, or RIF-FLD. The XML serialization syntax of RIF-BLD is specified via a mapping from the presentation syntax. A normative XML schema is also provided.
PRD This document, developed by the Rule Interchange Format (RIF) Working Group, specifies the production rule dialect of the W3C rule interchange format (RIF-PRD), a standard XML serialization format for production rule languages.
DTB This document, developed by the Rule Interchange Format (RIF) Working Group, specifies a list of datatypes, built-in functions and built-in predicates expected to be supported by RIF dialects such as the RIF Core Dialect, the RIF Basic Logic Dialect, and the RIF Production Rules Dialect. Each dialect supporting a superset or subset of the datatypes, built-in functions and built-in predicates defined here shall specify these additions or restrictions. Some of the datatypes are adopted from [XML-SCHEMA2]. A large part of the definitions of the listed functions and operators are adopted from [XPath-Functions]. The rdf:PlainLiteral datatype as well as functions and operators associated with that datatype are adopted from [RDF-PLAINLITERAL].
SWC Rules interchanged using the Rule Interchange Format RIF may depend on or be used in combination with RDF data and RDF Schema or OWL ontologies. This document, developed by the Rule Interchange Format (RIF) Working Group, specifies the interoperation between RIF and the data and ontology languages RDF, RDF Schema, and OWL.
FLD This document, developed by the Rule Interchange Format (RIF) Working Group, defines a general RIF Framework for Logic Dialects (RIF-FLD). The framework describes mechanisms for specifying the syntax and semantics of logic RIF dialects through a number of generic concepts such as signatures, symbol spaces, semantic structures, and so on. The actual dialects should specialize this framework to produce their syntaxes and semantics.

The Status sections are assembled automatically from maturity-specific and working-group specific boilerplate, indicating the document is part of the set of six RIF specifications, with pointers to each, along with changes since the last publication.

3 Decision to Request CR

Made 1 September 2009.

4 Change since Last Call

All changes since Last Call have been minor, editorial in nature, and would not invalidate earlier reviews.

(This text also appears in the SOTD section of each document.)

5 Satisfies Group's Requirements

The requirements have not changed. None of the reviews have claimed that the documents fail to satisfy the group's requirements.

The charter deliverables are: a UC&R document, RIF has one though it is not Rec Track; a RIF Core recommendation; a RIF combined with OWL and RDF recommendation; and test cases, the RIF WG is collecting and approving use cases and currently has 39 approved test cases and 37 awaiting WG approval.

6 Dependencies

The specification has normative references to the following W3C specifications that are not yet Proposed Recommendations:

It has yet to be determined if SPARQL will have a dependency on RIF.

7 Received Wide Review

See list of Last Call comments :

At the first RIF LC (for BLD and SWC), we received 22 public comments, and for the more recent LC for the six RIF specifications named above, we received 16 more. No issues were raised in the public comments, one reviewer suggested the low public comment rate "mainly indicates lack of controversy". Indeed the 2005 rules workshop and initial RIF working group had more than 100 participants, and was fraught with controversy, so this seems an appropriate reading.

8 Issues Formally Addressed

The RIF WG addressed and resolved 100 issues.

No issues were raised in public comments.

9 Objections

To date, there have been no objections.

10 Implementations

The group maintains a table of implementations.

The group approved these Exit Criteria.

11 Patent Disclosures

None.