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 StellaReceived on Saturday, 18 April 2009 16:15:11 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:55 UTC