Warning:
This wiki has been archived and is now read-only.
CR Transition Request
This is a transition request, and also serves as an agenda for the upcoming Transition Meeting with the Director.
Contents
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:
- OWL 2, currently a Candidate Recommendation.
- W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes currently a Candidate Recommendation.
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.