Re: reification test case

From: "Pat Hayes" <phayes@ai.uwf.edu>

> >It has been suggested that because they are empty circles,
> >they smush together just fine, with no aftertraces... ;-)
>
> Hey, who said that? There is a lemma (second anonymity lemma in
> section 2 ) in the MT document, with proof (in the working draft,
> just about to appear) that says that you cannot validly smush two
> Bnodes.

:))

> Well, but who needs to? There are much simpler ways of *referring to*
> a statement.

In RDF, .....How?

>And in any case, does reification enable you to describe
> a particular statement? Seems to me that as currently understood, it
> only allows you to say that some statement with a particular form
> *exists*. There's no way to say 'this statement... has this form....'
> because there's no way to associate the description with the actual
> statement.

I agree there is no way to refer to a particular instance of a triple
occuring whever it may occur in the universe.  But that is not really
necessery since we can be as particular as we want by qualifying the node
with other predicates like [d:author Pat] or if that is not sufficiently
particular [dc:authorPat; containedIn Doc1].

Seth Russell

Received on Monday, 4 February 2002 16:40:12 UTC