- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Fri, 14 Sep 2001 11:00:44 +0100
- To: w3c-rdfcore-wg@w3.org
Bill:
> ***the purpose of 'should not' is to allow applications some flexibility
> on dealing with language tags. That is, when a literal is equal to
> another but only one has a lag tag, they can be considered equivalent,
> which might be sufficient for some applications to make a match.
Pat:
> I find this odd. Why not let them be equal in this case? Omitting the
> language tag presumably means that no language information is being
> supplied. But in that case, there is no need to reject a match with
> an identical literal which does have a language tag, is there?
I agreed with Bill earlier, and continue to do so.
The purpose of defining equality is that in the model theory we are
talking about a graph, which is a set of edges. We need to be able to
tell whether one edge is the same or different from another edge.
We are not trying to define a processing model for language aware RDF
processors.
I think the graph constructed by
_:a <rdf:value> ("Roma", "it").
_:a <rdf:value> ("Rome", "en").
_:a <rdf:value> ("Rome", "fr").
_:a <rdf:value> ("Roma", _ ).
is different from
_:a <rdf:value> ("Roma", "it").
_:a <rdf:value> ("Rome", "en").
_:a <rdf:value> ("Rome", "fr").
If the literal ( "Roma", _ ), i.e. with no language specified, is the
same as ("Roma", "it"), i.e. in italian, then the two graphs are
identical.
Now, suppose we have a language aware graphical information system, and
a user whose preferred language is "fr-ca" (French Canadian) comes up. I
have quite deliberately not tried to specify which label goes onto the
big city half way up italy.
Such an app may be clever enough to decide that "fr" is a better match
to "fr-ca" than _ but maybe not.
A different application, may always read a pair ( "string", _ ) using
the currently set default language; while that certainly should not be
the default case, I wouldn't want to rule it out as a way of processing
RDF.
Jeremy
Received on Friday, 14 September 2001 05:56:13 UTC