- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 30 Nov 2007 23:50:52 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4992 ------- Comment #12 from virginia.smith@hp.com 2007-11-30 23:50 ------- Based on a recommendation from Sandy, bullet #1 has been clarified. The section now reads: ================================ 4.2.2 Consistent Reference Schemes An SML model MUST be declared invalid when a recognized scheme resolves to a target that's different from the target resolved to by another recognized scheme or when one recognized scheme resolves and another does not. To determine if two targets are the same or different, a model validator MUST obey the following rules. 1. A model validator MUST consider both targets to be the same when (a) the scheme(s) used to locate the targets use URIs or IRIs, (b) these URIs or IRIs contain all information required to locate the targets, and (c) the two URIs or IRIs used to locate the targets are identical using a case-sensitive, codepoint-by-codepoint comparison. The 4.3.1 SML URI Scheme satisfies conditions (a) and (b). Whether new schemes satisfy these conditions will be clear from their scheme definitions. 2. A model validator MUST consider both targets to be different when there is something available in the element information items for the targets that tells them apart. For example, if there is an infoset property for which the 2 targets have different values, they are different. This applies recursively for complex-valued properties. 3. For all other cases, it is implementation-defined whether to treat the targets as the same or not.
Received on Friday, 30 November 2007 23:51:03 UTC