Re: pfps-08 last call comment on typed literals



you raised a last call comment on the RDFCore WD's which was recorded as:

The WG has previously decided to reject this comment:

However, subsequent work has suggested that we reconsider this decision.

The treatment of XML literals currently proposed would retain the 
'simple' version (in which the literals are treated as a special 
lexical form) in RDF and RDFS interpretations, but treat 
rdf:XMLliteral as denoting a datatype object in D-interpretations.

This would support the entailment you refer to in all datatyped 
interpretations, for typed literals which do not contain language 
tags.  It would not, however, support an inference of the following 
form (in Ntriples):

ex:bar owl:sameIndividualAs rdf:XMLLiteral .
ex:s ex:p "foo"@tag^^rdf:XMLLiteral .
ex:s ex:p "foo"@tag^^ex:bar

since the RDF semantic conditions require that language tags are 
ignored in non-XML typed literals.

Please let us know whether this would be acceptable.

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	   for spam

Received on Tuesday, 29 April 2003 17:51:46 UTC