Re: language tags in typed RDF literals

[just to make sure w.r.t. rdf comments]


We currently have (in our test code) that

  <test#x> <test#y> "10"@en^^xsd:int.

rdfs xsd entails

  <test#x> <test#y> "10"@fr^^xsd:int.

(i.e. ignoring the lang tag)


and that

  <test#x> <test#y> "chat"@en^^rdf:XMLLiteral.

does not rdf entail

  <test#x> <test#y> "chat"@fr^^rdf:XMLLiteral.

(which is straightforward as a builtin)


-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                          
                    Brian McBride                                                                                         
                    <bwm@hplb.hpl.hp.com>       To:     pat hayes <phayes@ai.uwf.edu>, www-rdf-comments@w3.org            
                    Sent by:                    cc:     Jan.Grant@bristol.ac.uk                                           
                    www-rdf-comments-requ       Subject:     Re: language tags in typed RDF literals                      
                    est@w3.org                                                                                            
                                                                                                                          
                                                                                                                          
                    2003-02-14 12:26 AM                                                                                   
                                                                                                                          
                                                                                                                          





As I recall:

   - the WG has considered this.  At the time it made its decision, Pat
advocated accepting that lang tags be allowed in the syntax, that it was
harmless and seemed at the time to be important to Patrick who stated that
Nokia felt strongly about the issue.

   - later Patrick reported that after further thought, that whilst Nokia
still preferred the lang tag to be allowed in a datatyped literal, they
could live without it.

Before last call, this is perhaps something we could have considered.  Now
its a  change.  Might anyone change their review based on it?  Well, yes,
it seemed important to Nokia.

How important is this Pat.  Is it worth a second last call?  If its just a
case of extra work in writing the semantics - then I think you've made your

bed.  If it has undesirable externally visible consequences, that might be
different.

Brian

At 18:01 11/02/2003 -0600, pat hayes wrote:
>The current design of RDF literals is needlessly complicated and kind of
>silly.  The syntax allows language tags to occur in typed literals, but in

>all cases other than rdf:XMLLiteral, these tags are required to have no
>meaning, so the semantics is obliged to provide a valid inference rule
>which allows any language tag in any such typed literal to be removed or
>replaced by any other.  This considerably complicates the statement of the

>semantics, adds a burden to any implementation, nullifies the implicit
>design principle that literals can be compared for identity using simple
>lexical matching (since an engine is required to strip out all such lang
>tags while performing inferences or checking for identity), and provides
>no useful expressive function.
>
>A related point is that the requirement in the semantics that datatypes
>other than rdf:XMLLiteral *must* ignore language tags seems to restrict
>possible future datatyping proposals needlessly.
>
>I suggest therefore that
>
>EITHER
>
>(1) lang tags be forbidden by the RDF syntax from appearing in non-XML
>typed literals.
>
>OR ELSE
>
>(2) the notion of the lexical space of a datatype be generalized to allow
>(not require)  lang tags to be taken into consideration by a datatype, so
>that the lexical space may be a set of strings or pairs of strings, i.e. a

>set of simple literals. This would have the effect that it would no longer

>be valid to make arbitrary changes to a lang tag in any literal, typed or
>not. It would also bring the treatment of all RDF datatypes into alignment

>so that rdf:XMLLiteral need not be considered a special case.
>
>Either of these changes will simplify the semantics and make it more
>coherent, but in slightly different ways.
>
>Either change will produce fewer inference rules and lead to less
>processing in a reasoning engine.
>
>Pat Hayes
>--
>---------------------------------------------------------------------
>IHMC                                    (850)434 8903 or (650)494 3973
home
>40 South Alcaniz St.                    (850)202 4416   office
>Pensacola                                       (850)202 4440   fax
>FL 32501                                        (850)291 0667    cell
>phayes@ai.uwf.edu                 http://www.coginst.uwf.edu/~phayes
>s.pam@ai.uwf.edu   for spam

Received on Tuesday, 18 February 2003 16:32:28 UTC