From 597b57b31fd0e78ade130955b95799c691c7e384 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Fri, 5 Sep 2025 21:16:32 +0200 Subject: [PATCH 01/15] Align Triple-term reification text with Concepts section (pending CR) --- spec/index.html | 40 ++++++++++++++++++++++++++++------------ 1 file changed, 28 insertions(+), 12 deletions(-) diff --git a/spec/index.html b/spec/index.html index d3782d4..72cbdb8 100644 --- a/spec/index.html +++ b/spec/index.html @@ -820,20 +820,36 @@

rdf:nil

Triple-term based reification

-

A triple term is a construct defined in the RDF 1.2 Concepts and Abstract - Syntax specification [[RDF12-CONCEPTS]], referring to an RDF triple that - is used as a value, specifically, in the object position of another triple. - Importantly, a triple term does not imply assertion; that is, the triple it - denotes is not necessarily asserted in the RDF graph. This enables the - representation of metadata or commentary about triples that may or may not - be part of the asserted graph content, including potentially contradictory - relationships. For a triple term to be considered an asserted triple, it - must also appear explicitly in an RDF graph as a top-level triple. Otherwise, - it remains unasserted and serves primarily as a reference or subject of metadata.

+

A triple term is a construct defined in the RDF 1.2 Concepts and Abstract Syntax specification + [[RDF12-CONCEPTS]], referring to an RDF triple that is used as a value, specifically, in the object + position of another triple. This use is a reference to a proposition, and importantly, a triple term + does not by itself imply assertion; that is, the triple it denotes is not necessarily asserted in + the RDF graph. For a triple term to also be considered an asserted triple, it must appear explicitly + in the same RDF graph both as an asserted top-level triple and as an unasserted triple term. + Otherwise, it remains unasserted and serves primarily as a reference or subject of metadata. + This enables the representation of metadata or commentary about triples that may or may not be part + of the asserted graph content, including potentially contradictory relationships.

+ +

RDF terms that appear in a triple term have the same denotation as when they appear in an asserted + triple in the graph. For this reason, triple terms are said to be transparent.

+

A triple term can be the object of a triple whose predicate is rdf:reifies. In such cases, the resulting triple is referred - to as a reifying triple, and its subject is termed a reifier. The reifier - can be used to make further statements about the triple term.

+ to as a reifying triple, and its subject is termed a reifier. The reifier can be + used to make further statements about the triple term. When the triple term of a reifying triple + also appears in the same graph as an asserted triple, the subset of triples that share the same + reifier as subject is called a triple annotation.

+ +

Triple terms always denote abstract, logical propositions, while reifiers may denote a variety of + things related to these propositions (such as a statement or belief that the proposition holds, or + an event or circumstance that makes the proposition true). It is therefore expected that triple + terms are commonly used as objects of reifying triples, and that reifiers (rather than the triple + terms) are used in further descriptions. Because of the diversity of use cases that reifiers aim to + serve, the meaning of the rdf:reifies property is deliberately generic. Multiple, + distinct reifiers may exist for the same proposition (e.g., from different sources or contexts), and + conversely, one reifier may be used for several propositions. Since a proposition so reified does + not have to hold, it is possible to make statements even about unasserted or contradictory triples.

+

rdfs:Proposition

rdfs:Proposition is the class of reified triples. From 17389b4b9805fd67ba39f66ac44c8aef6ad35e83 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Mon, 8 Sep 2025 16:33:22 +0200 Subject: [PATCH 02/15] Update spec/index.html Co-authored-by: Pierre-Antoine Champin --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 72cbdb8..ff22f84 100644 --- a/spec/index.html +++ b/spec/index.html @@ -820,7 +820,7 @@

rdf:nil

Triple-term based reification

-

A triple term is a construct defined in the RDF 1.2 Concepts and Abstract Syntax specification +

A triple term is a construct defined in [[[RDF12-CONCEPTS]]] [[RDF12-CONCEPTS]], referring to an RDF triple that is used as a value, specifically, in the object position of another triple. This use is a reference to a proposition, and importantly, a triple term does not by itself imply assertion; that is, the triple it denotes is not necessarily asserted in From fe91b24c9cae5f074304ae198a0a9c94348af977 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Mon, 8 Sep 2025 16:33:47 +0200 Subject: [PATCH 03/15] Update spec/index.html Co-authored-by: Pierre-Antoine Champin --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index ff22f84..17e0484 100644 --- a/spec/index.html +++ b/spec/index.html @@ -823,7 +823,7 @@

Triple-term based reification

A triple term is a construct defined in [[[RDF12-CONCEPTS]]] [[RDF12-CONCEPTS]], referring to an RDF triple that is used as a value, specifically, in the object position of another triple. This use is a reference to a proposition, and importantly, a triple term - does not by itself imply assertion; that is, the triple it denotes is not necessarily asserted in + does not by itself imply assertion; that is, the proposition it denotes is not necessarily a fact asserted by the RDF graph. For a triple term to also be considered an asserted triple, it must appear explicitly in the same RDF graph both as an asserted top-level triple and as an unasserted triple term. Otherwise, it remains unasserted and serves primarily as a reference or subject of metadata. From 88d976c6e85396177d2c9fde625e5ecb694c0309 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Mon, 8 Sep 2025 16:34:35 +0200 Subject: [PATCH 04/15] Update spec/index.html Co-authored-by: Pierre-Antoine Champin --- spec/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/index.html b/spec/index.html index 17e0484..1b74dbb 100644 --- a/spec/index.html +++ b/spec/index.html @@ -824,8 +824,8 @@

Triple-term based reification

[[RDF12-CONCEPTS]], referring to an RDF triple that is used as a value, specifically, in the object position of another triple. This use is a reference to a proposition, and importantly, a triple term does not by itself imply assertion; that is, the proposition it denotes is not necessarily a fact asserted by - the RDF graph. For a triple term to also be considered an asserted triple, it must appear explicitly - in the same RDF graph both as an asserted top-level triple and as an unasserted triple term. + the RDF graph. This is only the case if that triple is also asserted in the RDF graph, + that is, a direct element of that set of triples. Otherwise, it remains unasserted and serves primarily as a reference or subject of metadata. This enables the representation of metadata or commentary about triples that may or may not be part of the asserted graph content, including potentially contradictory relationships.

From 6d888f6fd9addbf6b3589cc6911ceea175d6c990 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Mon, 8 Sep 2025 16:35:38 +0200 Subject: [PATCH 05/15] Update spec/index.html Co-authored-by: Pierre-Antoine Champin --- spec/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/index.html b/spec/index.html index 1b74dbb..8d6aa36 100644 --- a/spec/index.html +++ b/spec/index.html @@ -835,8 +835,8 @@

Triple-term based reification

A triple term can be the object of a triple whose predicate is rdf:reifies. In such cases, the resulting triple is referred - to as a reifying triple, and its subject is termed a reifier. The reifier can be - used to make further statements about the triple term. When the triple term of a reifying triple + to as a reifying triple, and its subject is termed a reifier. + When the triple term of a reifying triple also appears in the same graph as an asserted triple, the subset of triples that share the same reifier as subject is called a triple annotation.

From e1785b223d008281e0a1e964ee2a58cc08557475 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Mon, 8 Sep 2025 16:38:37 +0200 Subject: [PATCH 06/15] remove last sentence --- spec/index.html | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/spec/index.html b/spec/index.html index 8d6aa36..242fabd 100644 --- a/spec/index.html +++ b/spec/index.html @@ -847,8 +847,7 @@

Triple-term based reification

terms) are used in further descriptions. Because of the diversity of use cases that reifiers aim to serve, the meaning of the rdf:reifies property is deliberately generic. Multiple, distinct reifiers may exist for the same proposition (e.g., from different sources or contexts), and - conversely, one reifier may be used for several propositions. Since a proposition so reified does - not have to hold, it is possible to make statements even about unasserted or contradictory triples.

+ conversely, one reifier may be used for several propositions.

rdfs:Proposition

From ed5368fa504b4d38e5d4b69b3df63c42b19a917a Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Mon, 8 Sep 2025 16:46:46 +0200 Subject: [PATCH 07/15] grammar and HTML formatting --- spec/index.html | 41 ++++++++++++++++++++++++----------------- 1 file changed, 24 insertions(+), 17 deletions(-) diff --git a/spec/index.html b/spec/index.html index 242fabd..0a336be 100644 --- a/spec/index.html +++ b/spec/index.html @@ -820,34 +820,41 @@

rdf:nil

Triple-term based reification

-

A triple term is a construct defined in [[[RDF12-CONCEPTS]]] - [[RDF12-CONCEPTS]], referring to an RDF triple that is used as a value, specifically, in the object - position of another triple. This use is a reference to a proposition, and importantly, a triple term - does not by itself imply assertion; that is, the proposition it denotes is not necessarily a fact asserted by - the RDF graph. This is only the case if that triple is also asserted in the RDF graph, - that is, a direct element of that set of triples. - Otherwise, it remains unasserted and serves primarily as a reference or subject of metadata. +

+ A triple term is a construct defined in [[RDF12-CONCEPTS]], referring to an RDF triple that is used + as a value, specifically in the object position of another triple. This use represents a reference to a proposition, + and, importantly, a triple term does not by itself imply assertion; that is, the proposition it denotes + is not necessarily a fact asserted by the RDF graph. This is only the case if that triple is also + asserted in the RDF graph—that is, if it is a direct element of that set of triples. + Otherwise, it remains unasserted and serves primarily as a reference or as the subject of metadata. This enables the representation of metadata or commentary about triples that may or may not be part - of the asserted graph content, including potentially contradictory relationships.

+ of the asserted graph content, including potentially contradictory relationships. +

-

RDF terms that appear in a triple term have the same denotation as when they appear in an asserted - triple in the graph. For this reason, triple terms are said to be transparent.

+

+ RDF terms that appear in a triple term have the same denotation as when they appear in an asserted + triple in the graph. For this reason, triple terms are said to be transparent. +

-

A triple term can be the object of a triple whose predicate is +

+ A triple term can be the object of a triple whose predicate is rdf:reifies. In such cases, the resulting triple is referred to as a reifying triple, and its subject is termed a reifier. - When the triple term of a reifying triple - also appears in the same graph as an asserted triple, the subset of triples that share the same - reifier as subject is called a triple annotation.

+ When the triple term of a reifying triple also appears in the same graph as an asserted triple, + the subset of triples that share the same + reifier as subject is called a triple annotation. +

-

Triple terms always denote abstract, logical propositions, while reifiers may denote a variety of +

+ Triple terms always denote abstract, logical propositions, while reifiers may denote a variety of things related to these propositions (such as a statement or belief that the proposition holds, or an event or circumstance that makes the proposition true). It is therefore expected that triple terms are commonly used as objects of reifying triples, and that reifiers (rather than the triple terms) are used in further descriptions. Because of the diversity of use cases that reifiers aim to serve, the meaning of the rdf:reifies property is deliberately generic. Multiple, - distinct reifiers may exist for the same proposition (e.g., from different sources or contexts), and - conversely, one reifier may be used for several propositions.

+ distinct reifiers may exist for the same proposition (e.g., from different sources or contexts), and, + conversely, one reifier may be used for several propositions. +

rdfs:Proposition

From e8600bd8f729b7db37f623743b5e8193a263e0c4 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 13 Sep 2025 10:37:14 +0200 Subject: [PATCH 08/15] added spaces around em dash Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 0a336be..3b8d458 100644 --- a/spec/index.html +++ b/spec/index.html @@ -825,7 +825,7 @@

Triple-term based reification

as a value, specifically in the object position of another triple. This use represents a reference to a proposition, and, importantly, a triple term does not by itself imply assertion; that is, the proposition it denotes is not necessarily a fact asserted by the RDF graph. This is only the case if that triple is also - asserted in the RDF graph—that is, if it is a direct element of that set of triples. + asserted in the RDF graph — that is, if it is a direct element of that set of triples. Otherwise, it remains unasserted and serves primarily as a reference or as the subject of metadata. This enables the representation of metadata or commentary about triples that may or may not be part of the asserted graph content, including potentially contradictory relationships. From 0c7b2d818f0a2351e86569123730c67e45c106b9 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 13 Sep 2025 10:37:45 +0200 Subject: [PATCH 09/15] comma Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 3b8d458..ea195fc 100644 --- a/spec/index.html +++ b/spec/index.html @@ -822,7 +822,7 @@

rdf:nil

Triple-term based reification

A triple term is a construct defined in [[RDF12-CONCEPTS]], referring to an RDF triple that is used - as a value, specifically in the object position of another triple. This use represents a reference to a proposition, + as a value, specifically, in the object position of another triple. This use represents a reference to a proposition, and, importantly, a triple term does not by itself imply assertion; that is, the proposition it denotes is not necessarily a fact asserted by the RDF graph. This is only the case if that triple is also asserted in the RDF graph — that is, if it is a direct element of that set of triples. From 54811f4acf1b89668f389f92020c85c3d1054b42 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 13 Sep 2025 13:23:13 +0200 Subject: [PATCH 10/15] Update spec/index.html Co-authored-by: Andy Seaborne --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index ea195fc..2d930e4 100644 --- a/spec/index.html +++ b/spec/index.html @@ -839,7 +839,7 @@

Triple-term based reification

A triple term can be the object of a triple whose predicate is rdf:reifies. In such cases, the resulting triple is referred - to as a reifying triple, and its subject is termed a reifier. + to as a reifier. When the triple term of a reifying triple also appears in the same graph as an asserted triple, the subset of triples that share the same reifier as subject is called a triple annotation. From 3e4eeef54c3db78deeb50f495a0dc2603b38d481 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 13 Sep 2025 13:23:30 +0200 Subject: [PATCH 11/15] Update spec/index.html Co-authored-by: Andy Seaborne --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 2d930e4..83c45f4 100644 --- a/spec/index.html +++ b/spec/index.html @@ -842,7 +842,7 @@

Triple-term based reification

to as a reifier. When the triple term of a reifying triple also appears in the same graph as an asserted triple, the subset of triples that share the same - reifier as subject is called a triple annotation. + reifier as subject is called a rdf:reifies. In such cases, the resulting triple is referred - to as a reifier. + to as a reifying triple, and its subject is + termed a reifier. When the triple term of a reifying triple also appears in the same graph as an asserted triple, the subset of triples that share the same - reifier as subject is called a triple annotation.

From 58407a5cee91db7ba4315fa03c68a3ba867f9cda Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 27 Sep 2025 14:31:53 +0200 Subject: [PATCH 13/15] Update spec/index.html Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/index.html b/spec/index.html index 06a72e3..db385f3 100644 --- a/spec/index.html +++ b/spec/index.html @@ -839,8 +839,8 @@

Triple-term based reification

A triple term can be the object of a triple whose predicate is rdf:reifies. In such cases, the resulting triple is referred - to as a reifying triple, and its subject is - termed a reifier. + to as a reifying triple, and its subject is + termed a reifier. When the triple term of a reifying triple also appears in the same graph as an asserted triple, the subset of triples that share the same reifier as subject is called a triple annotation. From e40dca72fcef9af6558b8318338fb073fc7c6e60 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 27 Sep 2025 14:32:04 +0200 Subject: [PATCH 14/15] Update spec/index.html Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index db385f3..c225b10 100644 --- a/spec/index.html +++ b/spec/index.html @@ -843,7 +843,7 @@

Triple-term based reification

termed a reifier. When the triple term of a reifying triple also appears in the same graph as an asserted triple, the subset of triples that share the same - reifier as subject is called a triple annotation. + reifier as subject is called a triple annotation.

From 9625964af477bbcd5fe782487b4ee73713ac0903 Mon Sep 17 00:00:00 2001 From: Dominik Tomaszuk Date: Sat, 27 Sep 2025 14:50:20 +0200 Subject: [PATCH 15/15] note added --- spec/index.html | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/spec/index.html b/spec/index.html index c225b10..4f226c4 100644 --- a/spec/index.html +++ b/spec/index.html @@ -846,6 +846,10 @@

Triple-term based reification

reifier as subject is called a triple annotation.

+

+ When the underlying triple S P O is not asserted in the graph, a reifying triple (i.e., a triple whose predicate is rdf:reifies and whose object is the triple term <<S P O>>) together with further triples that use its reifier as subject constitute a description of the reifier resource, which denotes the proposition expressed by <<S P O>>. This is distinct from a triple annotation as defined in RDF Concepts, which requires that the underlying triple be asserted in the same graph. +

+

Triple terms always denote abstract, logical propositions, while reifiers may denote a variety of things related to these propositions (such as a statement or belief that the proposition holds, or