W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: Closure Rule rdf2 generates infinite set of triples

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 11 Jun 2003 07:58:27 +0100
Message-ID: <3EE6D313.3080205@hplb.hpl.hp.com>
To: Brian McBride <bwm@hplb.hpl.hp.com>
CC: pat hayes <phayes@ihmc.us>, rdf core <w3c-rdfcore-wg@w3.org>



Brian McBride wrote:

> On Tue, 2003-06-10 at 14:59, pat hayes wrote:
> 
>>>I noticed that closure rule rdf2 in
>>>
>>>  http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#rdf_entail
>>>
>>>will generate an infinite number of triples from any triple with an xml
>>>literal as its object.
>>>
>>Is that really the case? I still have not got a clear picture of what 
>>the XMLliteral value is supposed to be or how it relates to the 
>>lexical form, but my understanding was that the lex2value mapping was 
>>a pretty simple normalization process, so that the set of lexical 
>>forms which map to the same 'value' would be reasonably small.
>>
> 
> Jeremy is the expert.  I was thinking there may be places where I can
> add unbounded amounts of whitespace, e.g. spaces between attribute
> values.
> 
> Brian
> 
> 


In the lexical space and the value space XMLLiterals are simply (isomorhpic 
to?) strings.

i.e. identity and equality are the same.

However, in RDF/XML documents Brian is correct, you can have arbitrarty 
whitespace in certain places - but it gets squashed before you get to the 
lexical space.

Jeremy
Received on Wednesday, 11 June 2003 02:58:49 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:55 EDT