From 72b9e2cbbb4bd19d81a19068b14f2e6a73b8f8f0 Mon Sep 17 00:00:00 2001 From: Ruben Taelman Date: Mon, 12 Aug 2024 08:39:37 +0200 Subject: [PATCH] Migrate from quoted triples to triple terms --- spec/index.html | 53 ++++++++++++++++++++++++------------------------- 1 file changed, 26 insertions(+), 27 deletions(-) diff --git a/spec/index.html b/spec/index.html index 8e6c1ce..4a658e1 100644 --- a/spec/index.html +++ b/spec/index.html @@ -7406,16 +7406,16 @@
TZ
-
-

Functions on Quoted Triples

+
+

Functions on Triple Terms

TRIPLE
-              quoted triple  TRIPLE (RDF term subj, RDF term pred, RDF term triple term  TRIPLE (RDF term subj, RDF term pred, RDF term obj)
             
-                  << subj pred obj >>
+                  <<( subj pred obj )>>

If the 3-tuple (subj, @@ -7423,27 +7423,26 @@

TRIPLE
obj) is an RDF triple (that is, subj is an - IRI, - quoted triple or + IRI or blank node; pred is an IRI; and obj is an IRI, - quoted triple, + triple term, blank node or literal) - the function returns a quoted triple with these three elements. + the function returns a triple term with these three elements. Otherwise, the function raises an error.

As a shorthand notation, the TRIPLE function can also be written in the form of a - quoted triple expression - using << and >>. There is a + triple term expression + using <<( and )>>. There is a syntax limitation to this shorthand form: the three elements of - the quoted triple expression can only be variables and directly + the triple term expression can only be variables and directly written RDF terms, not arbitrary expressions. In contrast, the function form, TRIPLE, can be used with arbitrary expressions. @@ -7452,7 +7451,7 @@

TRIPLE
PREFIX : <http://example/> SELECT ?s ?date { ?s ?p ?o - BIND( << ?s ?p ?o >> AS ?qt ) + BIND( <<( ?s ?p ?o )>> AS ?qt ) ?qt :tripleAdded ?date } @@ -7468,45 +7467,45 @@
TRIPLE
SUBJECT
- 
RDF term  SUBJECT (quoted triple quoted-triple)
+ 
RDF term  SUBJECT (triple term triple-term)

If the argument is a - quoted triple, + triple term, the function returns the subject - of the quoted triple. + of the triple term. If the argument is not a - quoted triple, + triple term, an error is raised.

PREDICATE
- 
RDF term  PREDICATE (quoted triple quoted-triple)
+ 
RDF term  PREDICATE (triple term triple-term)

If the argument is a - quoted triple, + triple term, the function returns the predicate - of the quoted triple. + of the triple term. If the argument is not a - quoted triple, + triple term, an error is raised.

OBJECT
- 
RDF term  OBJECT (quoted triple quoted-triple)
+ 
RDF term  OBJECT (triple term triple-term)

If the argument is a - quoted triple, + triple term, the function returns the object - of the quoted triple. + of the triple term. If the argument is not a - quoted triple, + triple term, an error is raised.

@@ -7515,7 +7514,7 @@
OBJECT
isTRIPLE
xsd:boolean  isTRIPLE (RDF term term)

- If the argument is a quoted triple, + If the argument is a triple term, the function returns true. If the argument is any other kind of RDF term, @@ -11806,10 +11805,10 @@

Changes between SPARQL 1.1 Query Language and SPARQL 1.2 Query Language

Normative changes:
  • Remove concepts of plain and simple literals, in favor of explicit mentions of xsd:string
    • -
  • Update grammar for quoted triples and triple functions in
    • +
  • Update grammar for triple terms and triple functions in
  • Migrate XML Schema references to 1.1
  • Update references to XPath from 2.0 to 3.1
    • -
  • Add functions on quoted triples to
    • +
  • Add functions on triple terms to