From f642d496ba8e0da5a40bffc24bde0f68f38c3190 Mon Sep 17 00:00:00 2001 From: william-vw Date: Sat, 20 Sep 2025 09:13:14 -0400 Subject: [PATCH] initial commit --- .DS_Store | Bin 0 -> 8196 bytes spec/index.html | 13 ++++++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) create mode 100644 .DS_Store diff --git a/.DS_Store b/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..6d96921e3e38dd7ce13dc2225f860495de9dddaa GIT binary patch literal 8196 zcmeHMU2GIp6u#fIz>Gu76bfx&v#b;_&I9^2vefM6u}V#!kpx>Krb242|qa z@ngO^LsHPN4kHjo;MNH6^r>bp8)XK|Pd~rsMlI9z;_<7Hs;cMAohQ$eRrzRo*eR#I ztXFhX*}@R#dK|~fRodCyVbdsQwE9lR_OhmJ6nq0yH%R43pK0q(Ipq{>-SutLqC-|> zC8ITsk0;vOTVsj%#lq!E#g*N`>{yR6=J9sF7c>T4r{Hz^HW^JTy2c@cOw5weMTRuWLOy8s zsAoF1d)O$rM4OXw;e+yC&5~&I1FeY-o0Hpj?K?PGyFja3xJXq8DNeR$9yg6bZ`stn z;eo81H*DRsPxO^c*UVW)kDVPc>ZCb}GFjWu*tB$6Br=<7e=%pCDw^JDtyz{Q>lSFW zYAmus(LR!o==72M9G$;O_j@9-$ZA<0;_}XdLA4O8Ya%U*mX&*4@?8wEPK_&?tMr_t zNfxGU>LaqIE4@}WXIMhiu5OaGJxX6mcrJun)NOJdT9y91GcrPcxN*NR#3BdgTk1T(&0En_R$2DX(QVn^9=c8Z;2 zFR?e+CH6l1j9p=0v#abU_A|TAZm?h3AM7sx3KpUsi?IaD5yJ{JBaV&Ogw5E212~8@ zdN6<-@-T25C*h%pGRE*Ep2m4Riwn4jSMVxc!|Qk#AK*h=#>cpVZ}Ay*fqlKZ|ryWC#q3{MQ9?N zw%|d+Y61@tR<~dqlIXy0?8Sa`6LJSIgrhiy42JOpER4V=+@8i6jN=@hBJ4gx=)H*N z@d94N%eaI$@fP03J3fj(L2z3{+Gu1=x&LU7H)EfEu zfBWqB|93W6s1-&ajKKdg0;ujvcctjlXIoDBSvyA0Triple Terms and Reification subject or object of other triples.

- A [=reifier=] may denote a variety of things that are related to the triple term's [=proposition=], - such as a statement or belief that the [=proposition=] holds. + A [=reifier=] may denote a variety of things that are related to the triple term's [=proposition=]: + such as a statement or belief that the [=proposition=] holds, or an event or circumstance that makes the proposition true. It is expected that the [=reifiers=] (rather than the [=triple terms=]) will be used in further statements. This section describes this common usage.

@@ -357,7 +357,7 @@

Triple Terms and Reification

for example, if one is unsure whether :Alice's name is actually "Alice".

-

Here is a variation on the graph shown in . This represents a graph +

As another example, the following diagram represents a graph where an asserted triple corresponds to the triple term object of a reifying triple. In this case, the subset of triples including the reifier as subject—as illustrated in these examples— @@ -375,6 +375,13 @@

Triple Terms and Reification

+

+ In this example, the [=proposition=] denoted by the [=triple term=] (:Alice's family name being "Liddell") is claimed to be true, + as it corresponds to an [=asserted triple=]. + The [=triple annotation=] describes a concrete circumstance underlying the proposition, namely, that it was applicable until + :Alice's marriage on September 15th 1880. +

+

Concrete syntaxes, such as Turtle [[RDF12-TURTLE]], may have shortcuts for specifying reifying triples and triple annotations more