Hi Erik,
I tried to explain the situation in my first email response to Steven.
http://lists.oasis-open.org/archives/xacml-comment/201110/msg00001.html
This is a high level view of my reading of the spec, section 6:
http://tools.ietf.org/html/rfc3986#section-6
To go into further detail would require detailed analysis of
that section, which might be useful, but probably not before
there was at least agreement on the high level concepts.
The fact is that it is not true that: "Two URIs are either
equal or inequal, given a comparison function".
This is only true for a concrete comparison function. What
the spec says is that there is basically an iterative process of
finer detailed comparisons that narrows the uncertainty gap
at greater expense of processing resources. And that it is
a lot easier to narrow the gap on the equality side than on
the non-equality side, as a practical matter.
Thanks,
Rich
On 10/27/2011 9:46 AM, Erik Rissanen wrote:
