From a781de2c3b9504de7e0d3d567dceac4971e9a3d0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Niklas=20Lindstr=C3=B6m?= Date: Fri, 12 Jan 2024 18:28:37 +0100 Subject: [PATCH 1/3] Add new terminology document --- docs/wg-terminology.md | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 docs/wg-terminology.md diff --git a/docs/wg-terminology.md b/docs/wg-terminology.md new file mode 100644 index 0000000..bdae4a0 --- /dev/null +++ b/docs/wg-terminology.md @@ -0,0 +1,39 @@ +# Working Group Terminology + +Clarifications and additions. + +### RDF Triple +[RDF Triples are defined in RDF 1.2](https://www.w3.org/TR/rdf12-concepts/#section-triples). + +Sometimes informally called: "Triple Type", "Abstract Triple". + +### Asserted Triple + +A triple is asserted with respect to a graph, when it is an element of a graph. + +### RDF Statement + +[RDF Statements are defined in RDF 1.2](https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-statement). + +(See also [N-quads statement](https://www.w3.org/TR/rdf12-n-quads/#grammar-production-statement).) + +The statement is the meaning of the triple. + +The triple is the representation of the statement. + +### Triple Occurrence + +*[TODO: Pending rough draft.]* + +Sometimes informally called: "Triple Instance". + +An *occurrence* of a triple is a *possible use* of it (presumably *through* but not *as* [tokens](https://plato.stanford.edu/entries/types-tokens/#Occ)), on the level of the abstract syntax. + +This is closely related to the (non-normative) definition of a [reified RDF statement](https://www.w3.org/TR/rdf11-mt/#reification): + +> The subject of a reification is intended to refer to a concrete realization of an RDF triple, such as a document in a surface syntax, rather than a triple considered as an abstract object. This supports use cases where properties such as dates of composition or provenance information are applied to the reified triple, which are meaningful only when thought of as referring to a particular instance or token of a triple. + +Also [from RDF 1.2 Semantics](https://www.w3.org/TR/rdf12-semantics/#Reif): + +> The reification only says that the triple token exists and what it is about, not that it is true, so it does not entail the triple. + From be19c2e7d823f4fa8deeb8c3956b62cd4b8a7bbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Niklas=20Lindstr=C3=B6m?= Date: Fri, 12 Jan 2024 23:22:32 +0100 Subject: [PATCH 2/3] Update docs/wg-terminology.md Co-authored-by: Andy Seaborne --- docs/wg-terminology.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/wg-terminology.md b/docs/wg-terminology.md index bdae4a0..f68f707 100644 --- a/docs/wg-terminology.md +++ b/docs/wg-terminology.md @@ -29,7 +29,7 @@ Sometimes informally called: "Triple Instance". An *occurrence* of a triple is a *possible use* of it (presumably *through* but not *as* [tokens](https://plato.stanford.edu/entries/types-tokens/#Occ)), on the level of the abstract syntax. -This is closely related to the (non-normative) definition of a [reified RDF statement](https://www.w3.org/TR/rdf11-mt/#reification): +This is closely related to the (non-normative) definition of a [reified triple](https://www.w3.org/TR/rdf11-mt/#reification): > The subject of a reification is intended to refer to a concrete realization of an RDF triple, such as a document in a surface syntax, rather than a triple considered as an abstract object. This supports use cases where properties such as dates of composition or provenance information are applied to the reified triple, which are meaningful only when thought of as referring to a particular instance or token of a triple. From c587991887c82d36b11903de8999a94869f1439d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Niklas=20Lindstr=C3=B6m?= Date: Fri, 12 Jan 2024 23:27:13 +0100 Subject: [PATCH 3/3] Fix reference --- docs/wg-terminology.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/wg-terminology.md b/docs/wg-terminology.md index f68f707..6d11a85 100644 --- a/docs/wg-terminology.md +++ b/docs/wg-terminology.md @@ -29,7 +29,7 @@ Sometimes informally called: "Triple Instance". An *occurrence* of a triple is a *possible use* of it (presumably *through* but not *as* [tokens](https://plato.stanford.edu/entries/types-tokens/#Occ)), on the level of the abstract syntax. -This is closely related to the (non-normative) definition of a [reified triple](https://www.w3.org/TR/rdf11-mt/#reification): +This is closely related to the (non-normative) definition of a [reified triple](https://www.w3.org/TR/rdf12-semantics/#Reif): > The subject of a reification is intended to refer to a concrete realization of an RDF triple, such as a document in a surface syntax, rather than a triple considered as an abstract object. This supports use cases where properties such as dates of composition or provenance information are applied to the reified triple, which are meaningful only when thought of as referring to a particular instance or token of a triple.