DATATYPE("abc")=string? note

Persuant to 
2005-11-15T15:28:13Z <DanC_lap> PROPOSED: to publish 1.538 +
                     EBV/valueTesting note, plus
		     rdfs:Datatype/DATATYPE change in table, 
                     DATATYPE("abc")=string? note, plus, we hope,
		     edited changelog by DanC
I've updated the DATATYPE function definition and appended the
<issue/> below:

[[
rdfs:Datatype   datatype (rdf:literal arg)

If arg is a typed literal, as defined in Resource Description
Framework (RDF): Concepts and Abstract Syntax [CONCEPTS] Section 6.5
"RDF Literals", datatype returns the datatype URI of arg. It produces
a type error if arg is an untyped literal.

<issue>
  A literal is a Unicode string, which correlates to an
  xsd:string. There is some interest in changing the last sentence of
  the preceeding paragraph to

    It produces a type error if arg has a language tag, and returns
    <xsd:string> if arg is an untyped literal without a language tag.

  This would make "asdf" and "asdf"^^xsd:string indisguishable to
  standard SPARQL queries. Some data maintenance queries (those
  searching for untyped literals) would require extension functions,
  and all untyped literals with no language tag would follow RDF
  Semantics xsd:string entailment. Please send related comments to
  public-rdf-dawg@w3.org.
</issue>
]]

Anyone have wording improvements?
-- 
-eric

office: +81.466.49.1170 W3C, Keio Research Institute at SFC,
                        Shonan Fujisawa Campus, Keio University,
                        5322 Endo, Fujisawa, Kanagawa 252-8520
                        JAPAN
        +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
cell:   +81.90.6533.3882

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

Received on Tuesday, 15 November 2005 21:28:00 UTC