Re: Reification as nesting

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