- 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