Re: The way forward

> On May 2, 2024, at 6:50 AM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:
> 
> Similarly, the RDF graph
> :r rdf:reifies << :a :b :c >> .
> :r rdf:reifies << :d :e :f >> .
> does not say that :r reifies a collection (or set) of two quoted triples.  It instead that there are two quoted triples that :r reifies.
> And so
> << :r | :a :b :c >> :x :y .
> << :r | :d :e :f >> :x :y .
> should  not say that :r reifies a collection (or set) of two quoted triples or even an RDF graph.  Instead there are two quoted triples that :r reifies, and nothing else should be read into it.

At this point I’m not sure what we’re even doing. If “nothing else should be read into it,” and this is just making statements about :r, where does that leave us with respect to our chartered purpose of being able to make “statements about statements”?

Thanks,
.greg