- From: Andy Seaborne <andy@apache.org>
- Date: Tue, 2 Jul 2024 11:34:40 +0100
- To: public-rdf-star-wg@w3.org
On 02/07/2024 05:45, Souripriya Das wrote:
> The following type of nesting allows reifying the association between a
> reifier and what it reifies:
> :r2 rdf:reifies <<( :r1 rdf:reifies <<( :s :p :o )>> )>> .
> Here the nesting is: "rdf;reifies -> rdf:reifies" (i.e., in the ordering
> of predicates, rdf:reifies immediately follows another rdf:reifies).
>
> Nested beliefs are different than above and can be expressed as follows:
> Using 4^th component as the reifier:
> :s :p :o :r1 .
> :bob :believes :r1 :r2 .
> :alice :believes :r2 .
> The same can be expressed using rdf:reifies as follows:
> :r1 rdf:reifies <<( :earth :hasShape :cube )>> .
> :r2 rdf:reifies <<( :bob :believes :r1 )>> .
> :alice :believes :r2 .
We can have a standalone clause in the "agreed syntax" to have a
standalone reification in consistent style with inline use:
<< :r1 | :earth :hasShape :cube >> .
Andy
https://lists.w3.org/Archives/Public/public-rdf-star-wg/2024Jan/0095.html
Received on Tuesday, 2 July 2024 10:34:46 UTC