This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The following statement (actually three) statements in section 5.3.2 of SML-IF seem to be equivalent: Each member of the set of all alias URIs in an SML-IF document MUST be unique. That is, no two alias URIs in a given SML-IF document may be equivalent. All alias URIs in an SML-IF document MUST be unique. Is there a difference? (If so, it should be made more explicit.)
I think they are expressing the same concept in different words. fwiw, "equivalent" might be confusing here. I usually see that in the context of how to normalize/compare URIs, e.g. RFC 3986 section 6.1: 6. Normalization and Comparison . . . . . . . . . . . . . . . . . 38 6.1. Equivalence . . . . . . . . . . . . . . . . . . . . . . 38 Given our current rules around URI comparison, I don't think we need to invoke "equivalent" or any variation. We already define what equality (the strongest form of equivalence) means to SMLIF, and don't need anything weaker IIRC. Net, I'd strike all phrases that appear to relate URIs and any form of equivalence other than straight equality.
Editors to deal with both comments. Remove 'equivalent' and all its variants. Reference the section in IF that defines equality of 2 URIs.
changed the section title, from: 5.3.1 URI Equivalence to : 5.3.1 URI Equality changed all references to URI equivalence to use the term URI equality instead. for example, from: If the URI is equivalent to the URI in an alias (see 5.3.1 URI equivalence), ... to: If the URI is equal to the URI in an alias (see 5.3.1 URI Equality), ...