W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

Re: Reification as nesting

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 8 Jun 2001 12:45:17 -0500
Message-Id: <v04210172b746bd5937e4@[]>
To: Drew McDermott <drew.mcdermott@yale.edu>
Cc: www-rdf-logic@w3.org
>   [Pat Hayes]
>   AAAArghh!!
>   Is N3 syntactic sugar for RDF or not? If it is not, what relationship
>   does it have to RDF? If it is, are the triples in those subject and
>   object sets of triples asserted or not? Apparently not; so, what part
>   of RDF stops them being asserted? (Are they reified?)
>   As far as I can see, RDF allows no options for a triple between being
>   asserted and being reified: you either assert a triple or you
>   describe it. How does N3 manage to slip past this rock-hardplace
>   collision?
>   Of course I can see how one can fudge it by adding features to RDF
>   (contexts, or quads, or addresses, or any number of ingenious tricks)
>   but what I cannot see is how to fudge it *in RDF*.  Since N3 is
>   widely cited as a kind of proof-of-concept for the utility of RDF, I
>   would pray permission to be let in on the magic secret.
>Whoa.  The whole discussion of "nesting" is based on the assumption
>that RDF will be extended.

Ah, I think we are at cross purposes. (That might explain a lot.) I 
have been trying to find a way to do this stuff within current RDF, 
or at any rate with as minimal an extension as possible (possibly 
with some change of interpretation, but guaranteed not to break any 
current RDF engines.) If we are allowed to extend the language, then 
all bets are off. Lets go for the jugular and extend it to KIF.

>N3 is syntactic sugar for the extended
>version of RDF.

WHAT extended version of RDF?? What does it look like (without the 
sugar), and where is it described?

> What stops some triples from being asserted is the
>context flag on each triple.

Maybe I have missed something. Where did you read about context flags 
on triples? (URI's, anyone?)


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Friday, 8 June 2001 13:45:14 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:35 UTC