W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2001

Re: A strange question

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Thu, 25 Oct 2001 11:10:39 -0500
Message-Id: <p0510108cb7fde8dbf3d6@[205.160.76.193]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>[liking strange questions]
>
>>  Hey, the following thought occurred to me. Is it legal to use a
>>  uriref in an RDF triple, where the uriref is the URL of the document
>>  in which the triple appears? In other words, can a piece of RDF refer
>>  to itself? If so, what could it possibly mean?
>
>I just tried such a case
>==== etc001.n3
>[] etc:supportsProofOf
>     [ etc:blunt <test001.nt>,
>                 <test002.nt>,
>                 <test003.nt>,
>                 <etc001.n3>;  # self-reference
>       etc:kind <rdf-rules.n3>,
>                <rdfs-rules.n3>;
>       etc:sharp <test004.nt> ] .
>====
>and that works fine and could actually (maybe) be useful
>in case etc001 contains additional facts to support the
>entailment test case (which is not the case here)
>no?

OK, how about this:

====etc002.n3
[]etc:supportsProofOf
[etc:blunt <etc002.n3>;
etc:kind <rdf-rules.n3>;
etc:sharp <etc002.n3>] .
====

? My guess is it ought to either immediately succeed, or else recurse 
forever, depending on which way your code has its main loop nested :-)

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Thursday, 25 October 2001 12:10:43 EDT

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