Warning:
This wiki has been archived and is now read-only.

PER 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. The official version is in email: sent 20 November 2012.


1 Titles

We propose to publish the following documents as Proposed Edited 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 anticipated publication date is 4 December.

Note that these documents are associated with several Working Group Notes which will be re-published at the same time.

2 Abstracts and Status Sections

The abstract of each document is below, unchanged from the Recommendation:

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 adapted from [XML-SCHEMA2]. A large part of the definitions of the listed functions and operators are adapted 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 PER

Made via WBS, because the group is no longer having regular meetings. See announcement to group, reminder (access controlled) and results (access controlled due to WBS).

Twenty five votes were received from Working Group participants: 19 approve, 6 abstain, no objections.

Votes were:

  • Dave Reynolds Approve
  • Markus Krötzsch Abstain
  • Christopher Welty Approve
  • Hassan Ait-Kaci Abstain
  • Sandro Hawke Approve
  • Minsu Jang Approve
  • Stuart Taylor Abstain
  • Evan Wallace Approve
  • Donald Chapin Approve
  • Paul Vincent Abstain
  • Enrico Franconi Approve
  • Stasinos Konstantopoulos Approve
  • Bruce Spencer Abstain
  • Michael Kifer Approve
  • Luis Polo Approve
  • Christian de Sainte Marie Approve
  • Leora Morgenstern Approve
  • Gary Hallmark Approve
  • Said Tabet Approve
  • Yuting Zhao Approve
  • Jeff Pan Approve
  • Mark Proctor Approve
  • John Hall Approve
  • Harold Boley Approve
  • Stefan Decker Abstain

4 Changes since Recommendation

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

The preview drafts, linked above, have color-coded diffs from the RECs.

A few additional changes are being made after the snapshot circulated to the WG on 28 October, due to issues noticed during this review cycle. These changes are visible in the wiki by looking for changes since that date, as in recent changes and will be confirmed with the WG via email before publication.

5 Satisfies Group's Requirements

The requirements have not changed. None of the reviews have raised any concern about the documents failing to satisfy the group's requirements.

6 Dependencies

The main purpose of this revision was to change the dependency on XSD 1.1 Part 2, which was only at Last Call when these documents went to REC, so the dependency could not be normative. Now there are no normative references to documents not at REC.

7 Received Wide Review

Within the group: see vote results.

Public review is not done prior to publishing Proposed Edited Recommendations.

8 Issues Formally Addressed

The reported errata have been addressed.

9 Objections

To date, there have been no formal objections.

10 Implementations

The group has not been tracking implementations since REC. At the time, it produced a table of implementations.

11 Patent Disclosures

None.