- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 8 Jun 2001 12:45:17 -0500
- 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?) 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 Friday, 8 June 2001 13:45:14 UTC