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

Re: Reification as nesting

From: Lynn Andrea Stein <lynn.stein@olin.edu>
Date: Wed, 06 Jun 2001 15:28:12 -0400
Message-ID: <3B1E844B.4D7C4AFD@olin.edu>
To: pat hayes <phayes@ai.uwf.edu>
CC: Tim Berners-Lee <timbl@w3.org>, Drew McDermott <drew.mcdermott@yale.edu>, www-rdf-logic@w3.org
Just to go on record....

pat hayes wrote:

> Seems to me that all this can be done in one fairly simple way, by
> allowing the subject and object of RDF triples to themselves be RDF
> triples (not reifications of triples, but actual triples.) These
> 'inner' triples are not asserted, and the 'verb' of the triple that
> points to them provides the needed labelling.

I think Pat and I are in agreement.

Of course, one nit:


> The distinction between
> subject and object provides the distinction between subnesting and
> nesting, much in the way that LISP uses CDRs to indicate list members
> and encodes sublists in the CAR.

If the verb is used to select the triple, you may find situations in which the
selection is ambiguous.  This is either a bug or a feature, depending (as
always) on your perspective.

Lynn
Received on Wednesday, 6 June 2001 15:28:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:40 GMT