[RIF] Action-786 completed

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 UTC