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

Re: Closure Rule rdf2 generates infinite set of triples

From: pat hayes <phayes@ihmc.us>
Date: Tue, 10 Jun 2003 08:59:35 -0500
Message-Id: <p05210618bb0b923b50b6@[]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>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.

>I was wondering if there was a reason to prefer the form of the closure
>rule given over one of the form:
>sss1 ppp1 xml1
>sss2 ppp2 xml2
>sss1 ppp1 _:x
>sss2 ppp2 _:x
>where xml1 and xml2 denote the same XML literal value.

Im not sure if that would be sufficient to find all entailments, but 
I'll think about it.

BTW< there is an obvious way to limit se1 and se2 to keep those 
closures finite, which I suspect you already noticed, when I read you 
earlier message more carefully: do not apply them to bnodes. Duh.


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@ihmc.us       http://www.ihmc.us/users/phayes
Received on Tuesday, 10 June 2003 09:59:40 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:06 UTC