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

Closure Rule rdf2 generates infinite set of triples

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: 10 Jun 2003 10:50:23 +0100
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: rdf core <w3c-rdfcore-wg@w3.org>
Message-Id: <1055238622.3015.5.camel@dhcp-91-136.hpl.hp.com>

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.

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.

Brian
Received on Tuesday, 10 June 2003 05:51:21 EDT

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