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