From dd42f0ea9f89b22111781875aa2feba4e1c5a357 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Fri, 16 Feb 2024 15:25:40 +0100 Subject: [PATCH 1/8] adapts the definition of the abstract syntax to use the notion of a triple term (as per option 3 of https://github.com/w3c/rdf-star-wg/pull/112) instead of quoted triples and asserted triples --- spec/index.html | 78 ++++++++++++++++++++++++------------------------- 1 file changed, 38 insertions(+), 40 deletions(-) diff --git a/spec/index.html b/spec/index.html index 41ed957..4cca8b7 100644 --- a/spec/index.html +++ b/spec/index.html @@ -67,7 +67,7 @@ are comprised of a default graph and zero or more named graphs. -

RDF 1.2 introduces quoted triples as another kind of RDF term +

RDF 1.2 introduces triple terms as another kind of RDF term which can be used as the subject or object of another triple. RDF 1.2 also introduces directional language-tagged strings, which contain a base direction element that allows the @@ -130,7 +130,7 @@

Graph-based Data Model

There can be four kinds of nodes in an RDF graph: IRIs, literals, - blank nodes, and quoted triples.

+ blank nodes, and triple terms.

@@ -492,12 +492,12 @@

RDF Documents and Syntaxes

The conformance levels described above are tentative, and still the subject of group discussion. An alternative to conformance @@ -538,53 +538,59 @@

RDF Graphs

Triples

-

An RDF triple is a 3-tuple that is defined recursively as follows:

+

An RDF triple (usually called "triple") + is a 3-tuple (|s|, |p|, |o|) where:

+ + + +

An triple term is a 3-tuple that is defined recursively as follows:

-

"RDF triple" is usually written "triple".

-

Given a triple (|s|, |p|, |o|), |s| is called the subject of the triple, |p| is called the predicate of the triple, and - |o| is called the object of the triple.

- -

When an RDF triple is used as the subject or object of a triple, this occurrence of - the triple is called a quoted triple.

- -

By the given definitions, - the subject of an RDF triple may be either an IRI, - a blank node, or a quoted triple; - the predicate of an RDF triple may only be an IRI; - the object of an RDF triple may be either an IRI, - a blank node, a literal or a quoted triple.

- -

The definition of quoted triple is recursive. - That is, a quoted triple can itself have a - subject or object component which is another quoted triple. - However, by this definition, cycles of quoted triples cannot be created.

+ |o| is called the object of the triple. + Similarly, given a triple term (|s|, |p|, |o|), + |s| is called the subject of the triple term, + |p| is called the predicate of the triple term, and + |o| is called the object of the triple term.

+ +

While, syntactically, the notion of an RDF triple + and the notion of a triple term are the same, they represent + different concepts. RDF triples are the members of RDF graphs, + whereas triple terms can be used as components of RDF triples.

+ +

The definition of triple term is recursive. + That is, a triple term can itself have an + object component which is another triple term. + However, by this definition, cycles of triple terms cannot be created.

IRIs, literals, - blank nodes, and quoted triples are collectively known as + blank nodes, and triple terms are collectively known as RDF terms.

IRIs, literals, - blank nodes, and quoted triples are distinct and distinguishable. + blank nodes, and triple terms are distinct and distinguishable. For example, a literal with the string http://example.org/ as its lexical form is not equal to the IRI http://example.org/, @@ -592,18 +598,10 @@

Triples

http://example.org/.

The set of nodes of an RDF graph - is the set of subjects and objects of triples in the graph. + is the set of subjects and objects of the triples in the graph. It is possible for a predicate IRI to also occur as a node in the same graph.

-

An asserted triple - is an RDF triple that is an element of an RDF graph.

- -

In an RDF graph, - a triple may occur as either a quoted triple, an - asserted triple, or both.

-
-

IRIs

From 6fe64fc81ed4396167ae1b8b2bf8552ce65b2398 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Fri, 16 Feb 2024 16:15:54 +0100 Subject: [PATCH 2/8] Fixes small typos in my proposal. --- spec/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/spec/index.html b/spec/index.html index 4cca8b7..bd192a0 100644 --- a/spec/index.html +++ b/spec/index.html @@ -548,7 +548,7 @@

Triples

or a triple term. -

An triple term is a 3-tuple that is defined recursively as follows:

+

A triple term is a 3-tuple that is defined recursively as follows:

  • @@ -561,8 +561,8 @@

    Triples

  • If |s| is an IRI or a blank node, |p| is an IRI, and - |t| is a triple term, - then (|s|, |p|, |t|) is a triple term. + |o| is a triple term, + then (|s|, |p|, |o|) is a triple term.
From efe4a3d08a72808feda173563189e27a1cfd3a05 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Mon, 19 Feb 2024 14:57:50 +0100 Subject: [PATCH 3/8] Clarification in the abstract (triple terms can appear only in the object position). --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index bd192a0..6605bfc 100644 --- a/spec/index.html +++ b/spec/index.html @@ -68,7 +68,7 @@

RDF 1.2 introduces triple terms as another kind of RDF term - which can be used as the subject or object of another triple. + which can be used as the object of another triple. RDF 1.2 also introduces directional language-tagged strings, which contain a base direction element that allows the initial text direction to be specified for presentation by a user agent.

From 2d482610417b524e929ae1e4a44f2e51b12db0f9 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Mon, 19 Feb 2024 15:00:29 +0100 Subject: [PATCH 4/8] Fix: bring back the closing 'section' tag Co-authored-by: Gregg Kellogg --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 6605bfc..38bd5b7 100644 --- a/spec/index.html +++ b/spec/index.html @@ -601,7 +601,7 @@

Triples

is the set of subjects and objects of the triples in the graph. It is possible for a predicate IRI to also occur as a node in the same graph.

- +

IRIs

From 911ba92cc3b7fde4af41ac2e3eb31c20dbf4b101 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Mon, 19 Feb 2024 15:57:00 +0100 Subject: [PATCH 5/8] extends the list of changes to capture the addition of triple terms --- spec/index.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 38bd5b7..7f762e4 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1789,8 +1789,12 @@

Changes between RDF 1.1 and RDF 1.2

  • Added for informative definition of a quad.
    • +
  • Added - and definitions for quoted triple and asserted triple.
    • + and definitions for quoted triple and asserted triple. +
  • Added the notion of a triple term and extended the definition of + RDF triple to permit triple terms as objects.
  • Added the base direction element as part of a literal, and a description of its use in .
    • From 195505a07a352e1d6fc4c2825dd5a408a50c7900 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Tue, 20 Feb 2024 11:32:40 +0100 Subject: [PATCH 6/8] adds reference to issue #81 about changing Sec.1.3 --- spec/index.html | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/spec/index.html b/spec/index.html index 7f762e4..ffa6d6d 100644 --- a/spec/index.html +++ b/spec/index.html @@ -175,6 +175,10 @@

    Resources and Statements

    Quoted Triples

    +

    + As the WG has moved away from the notion of quoted triples, this section needs to be changed such that it does not mention quoted triples anymore but, instead, describes whatever new concept the WG settles on (e.g., triple terms). +

    +

    A quoted triple is an RDF term with the components of an RDF triple, which can be used as the subject or object of another triple.

    @@ -1789,10 +1793,13 @@

    Changes between RDF 1.1 and RDF 1.2

    • Added for informative definition of a quad.
      • -
    • Added and definitions for quoted triple and asserted triple.
      • + +
      + The notion of quoted triples is deprecated and will be removed again from this document. Currently, Section still describes this notion. Once this section is changed to describe whatever new concept the WG settles on (currently, this may be triple terms---see the next bullet point), the previous bullet point can be removed and the addition of the then-rewritten section can be mentioned in the next bullet point. +
      +
    • Added the notion of a triple term and extended the definition of RDF triple to permit triple terms as objects.
    • Added the base direction element as part of From 68ed62ca3ab78ea4165c456beafe5c7fb2fb0a70 Mon Sep 17 00:00:00 2001 From: Pierre-Antoine Champin Date: Thu, 7 Mar 2024 19:10:59 +0100 Subject: [PATCH 7/8] fix Echidna issue... ... by reintroducing definitions for 'quoted triple' and 'asserted triple' --- spec/index.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index ffa6d6d..436e73b 100644 --- a/spec/index.html +++ b/spec/index.html @@ -179,7 +179,7 @@

      Quoted Triples

      As the WG has moved away from the notion of quoted triples, this section needs to be changed such that it does not mention quoted triples anymore but, instead, describes whatever new concept the WG settles on (e.g., triple terms).

      -

      A quoted triple is an RDF term with the components of +

      A quoted triple is an RDF term with the components of an RDF triple, which can be used as the subject or object of another triple.

      @@ -539,6 +539,10 @@

      RDF Graphs

      An RDF graph is a set of RDF triples.

      +

      + Do we still need to define asserted triple?. +

      +

      Triples

      From 497bbb2b6f843e11efef976c286d90e97f9e9a9d Mon Sep 17 00:00:00 2001 From: Pierre-Antoine Champin Date: Thu, 7 Mar 2024 19:13:45 +0100 Subject: [PATCH 8/8] fix markup error --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 436e73b..472ed2b 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1798,7 +1798,7 @@

      Changes between RDF 1.1 and RDF 1.2

    • Added for informative definition of a quad.
    • Added - and definitions for quoted triple and asserted triple.
      • + and definitions for quoted triple and asserted triple.
      The notion of quoted triples is deprecated and will be removed again from this document. Currently, Section still describes this notion. Once this section is changed to describe whatever new concept the WG settles on (currently, this may be triple terms---see the next bullet point), the previous bullet point can be removed and the addition of the then-rewritten section can be mentioned in the next bullet point.