W3C home > Mailing lists > Public > public-rif-wg@w3.org > April 2009

[RIF] Action-786 completed

From: Stella Mitchell <stellamit@gmail.com>
Date: Sat, 18 Apr 2009 12:14:25 -0400
Message-ID: <d64b0f2c0904180914k4281ce28m6ac925583455106d@mail.gmail.com>
To: RIF <public-rif-wg@w3.org>
Dear WG,

I hope everyone had a safe trip home.

I updated the status for the following test cases based on day 3 of F2F13.

2 were changed from Approved to Rejected (the WG couldn't agree on whether
the PS is syntactically valid or invalid)
     [1] http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_1
     [2] http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_2

2 were changed from Proposed to Rejected: (for [3] the WG couldn't agree on
whether the PS is syntactically valid or invalid)
    [3] http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_3
[4] http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_4

14 were changed from Proposed to Accepted:
    [5] http://www.w3.org/2005/rules/wiki/Classification-inheritance
    [6] http://www.w3.org/2005/rules/wiki/Conflict_resolution
    [7] http://www.w3.org/2005/rules/wiki/Core_NonSafeness
    [8] http://www.w3.org/2005/rules/wiki/Core_NonSafeness_2
    [9] http://www.w3.org/2005/rules/wiki/Core_Safeness
    [10] http://www.w3.org/2005/rules/wiki/Core_Safeness_2
    [11] http://www.w3.org/2005/rules/wiki/Core_Safeness_3
    [12] http://www.w3.org/2005/rules/wiki/EntailEverything
    [13] http://www.w3.org/2005/rules/wiki/Factorial_Functional
    [14] http://www.w3.org/2005/rules/wiki/Factorial_Relational
    [15] http://www.w3.org/2005/rules/wiki/IRI_from_IRI
    [16] http://www.w3.org/2005/rules/wiki/IRI_from_RDF_Literal
    [17] http://www.w3.org/2005/rules/wiki/Local_Constant
    [18] http://www.w3.org/2005/rules/wiki/Local_Predicate

In addition I changed these 2 from Accepted to InDevelopment. Due to a
change in the spec about multiple arities being allowed, they are no longer
valid. The authors (Dave and I) can rework them and move them back to
Proposed
   [19] http://www.w3.org/2005/rules/wiki/No_polymorphic_symbols
   [20]
http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_non-polymorphic

Stella
Received on Saturday, 18 April 2009 16:15:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:05 GMT