str

\n\n

 simple literal  STR (literal ltrl)\n simple literal  STR (IRI rsrc)\n

Returns the lexical form of ltrl (a literal ); returns the codepoint representation of rsrc (an IRI ). This is useful for examining parts of an IRI, for instance, the host-name.

@prefix foaf:       <http://xmlns.com/foaf/0.1/> .\n\n_:a  foaf:name       \"Alice\".\n_:a  foaf:mbox       <mailto:alice@work.example> .\n\n_:b  foaf:name       \"Bob\" .\n_:b  foaf:mbox       <mailto:bob@home.example> .\n

This query selects the set of people who use their work.example address in their foaf profile:

PREFIX foaf: <http://xmlns.com/foaf/0.1/>\nSELECT ?name ?mbox\n WHERE { ?x foaf:name  ?name ;\n            foaf:mbox  ?mbox .\n         FILTER regex(str(?mbox), \"@work\\\\.example$\") }\n

Query result:

\n\n \n \n \n \n \n \n \n \n \n \n

name	mbox
\"Alice\"	<mailto:alice@work.example>

"^^ ; . a ; "

isIRI

\n\n

 xsd:boolean  isIRI (RDF term term)\n xsd:boolean  isURI (RDF term term)\n

Returns true if term is an IRI . Returns false otherwise. isURI is an alternate spelling for the isIRI operator.

@prefix foaf:       <http://xmlns.com/foaf/0.1/> .\n\n_:a  foaf:name       \"Alice\".\n_:a  foaf:mbox       <mailto:alice@work.example> .\n\n_:b  foaf:name       \"Bob\" .\n_:b  foaf:mbox       \"bob@work.example\" .\n\n

This query matches the people with a name and an mbox which is an IRI:

PREFIX foaf: <http://xmlns.com/foaf/0.1/>\nSELECT ?name ?mbox\n WHERE { ?x foaf:name  ?name ;\n            foaf:mbox  ?mbox .\n         FILTER isIRI(?mbox) }\n

Query result:

\n\n \n \n \n \n \n \n \n \n \n \n

name	mbox
\"Alice\"	<mailto:alice@work.example>

"^^ ; . a ; "

datatype

\n\n

 iri  DATATYPE (literal literal)\n

Returns the datatype IRI of a literal.

If the literal is a typed literal, return the datatype IRI.
If the literal is a simple literal, return xsd:string
If the literal is literal with a language tag, return rdf:langString

@prefix foaf:       <http://xmlns.com/foaf/0.1/> .\n@prefix eg:         <http://biometrics.example/ns#> .\n@prefix xsd:        <http://www.w3.org/2001/XMLSchema#> .\n\n_:a  foaf:name       \"Alice\".\n_:a  eg:shoeSize     \"9.5\"^^xsd:float .\n\n_:b  foaf:name       \"Bob\".\n_:b  eg:shoeSize     \"42\"^^xsd:integer .\n

This query finds the foaf:name and foaf:shoeSize of everyone with a shoeSize that is an integer:

PREFIX foaf: <http://xmlns.com/foaf/0.1/>\nPREFIX xsd:  <http://www.w3.org/2001/XMLSchema#>\nPREFIX eg:   <http://biometrics.example/ns#>\nSELECT ?name ?shoeSize\n WHERE { ?x foaf:name  ?name ; eg:shoeSize  ?shoeSize .\n         FILTER ( datatype(?shoeSize) = xsd:integer ) }\n

Query result:

\n\n \n \n \n \n \n \n \n \n \n \n

name	shoeSize
\"Bob\"	42

\n\n

In SPARQL 1.0, the DATATYPE function was not defined for literals with a language tag. Therefore, an unextended implementation would raise an error when DATATYPE was called with a literal with a language tag. Operator extensibility allows implementations to return a result rather than raise an error. SPARQL 1.1 defines the result of DATATYPE applied to a literal with a language tag to be rdf:langString.

The SPARQL Working Group is using

rdf:langString based on the latest Working Drafts of the RDF Working Group. This usage should be considered experimental (and non-normative) until/unless

rdf:langString becomes part of an updated RDF Recommendation.

"^^ ; , ; . a , ; "

Functions on RDF Terms

"^^ ; ; "Functions on RDF Terms" . a ; "

isLiteral

\n\n

 xsd:boolean  isLiteral (RDF term term)\n

Returns true if term is a literal . Returns false otherwise.

@prefix foaf:       <http://xmlns.com/foaf/0.1/> .\n\n_:a  foaf:name       \"Alice\".\n_:a  foaf:mbox       <mailto:alice@work.example> .\n\n_:b  foaf:name       \"Bob\" .\n_:b  foaf:mbox       \"bob@work.example\" .\n

This query is similar to the one in 17.4.2.1 except that is matches the people with a name and an mbox which is a literal. This could be used to look for erroneous data (foaf:mbox should only have an IRI as its object).

PREFIX foaf: <http://xmlns.com/foaf/0.1/>\nSELECT ?name ?mbox\nWHERE { ?x foaf:name  ?name ;\n        foaf:mbox  ?mbox .\n        FILTER isLiteral(?mbox) }\n

Query result:

\n\n \n \n \n \n \n \n \n \n \n \n

name	mbox
\"Bob\"	\"bob@work.example\"

"^^ ; ; . a ; "

IRI

\n\n

 iri  IRI(simple literal)\n iri  IRI(xsd:string)\n iri  IRI(iri)\n iri  URI(simple literal)\n iri  URI(xsd:string)\n iri  URI(iri)\n

The IRI function constructs an IRI by resolving the string argument (see RFC 3986 and RFC 3987 or any later RFC that superceeds RFC 3986 or RFC 3987). The IRI is resolved against the base IRI of the query and must result in an absolute IRI.

The URI function is a synonym for IRI.

If the function is passed an IRI, it returns the IRI unchanged.

Passing any RDF term other than a simple literal, xsd:string or an IRI is an error.

An implementation MAY normalize the IRI.

Examples:

\n\n \n \n \n \n \n \n \n \n \n \n

\n `IRI(\"http://example/\")`\n	<http://example/>
\n `IRI(<http://example/>)`\n	<http://example/>

"^^ ; , , ; . a ; "

lang

\n\n

 simple literal  LANG (literal ltrl)\n

Returns the language tag of ltrl, if it has one. It returns \"\" if ltrl has no language tag . Note that the RDF data model does not include literals with an empty language tag .

@prefix foaf:       <http://xmlns.com/foaf/0.1/> .\n\n_:a  foaf:name       \"Robert\"@en.\n_:a  foaf:name       \"Roberto\"@es.\n_:a  foaf:mbox       <mailto:bob@work.example> .\n

This query finds the Spanish foaf:name and foaf:mbox:

PREFIX foaf: <http://xmlns.com/foaf/0.1/>\nSELECT ?name ?mbox\n WHERE { ?x foaf:name  ?name ;\n            foaf:mbox  ?mbox .\n         FILTER ( lang(?name) = \"es\" ) }\n

Query result:

\n\n \n \n \n \n \n \n \n \n \n \n

name	mbox
\"Roberto\"@es	<mailto:bob@work.example>

"^^ ; . a ; "

BNODE

\n\n

blank node  BNODE()\n

blank node  BNODE(simple literal)\n

blank node  BNODE(xsd:string)\n

The BNODE function constructs a blank node that is distinct from all blank nodes in the dataset being queried and distinct from all blank nodes created by calls to this constructor for other query solutions. If the no argument form is used, every call results in a distinct blank node. If the form with a simple literal is used, every call results in distinct blank nodes for different simple literals, and the same blank node for calls with the same simple literal within expressions for one solution mapping.

This functionality is compatible with the treatment of blank nodes in SPARQL CONSTRUCT templates.

"^^ ; , ; . a ; "

STRLANG

\n\n

literal  STRLANG(simple literal lexicalForm, simple literal langTag)\n

The STRLANG function constructs a literal with lexical form and language tag as specified by the arguments.

\n\n \n \n \n \n \n \n

\n STRLANG(\"chat\", \"en\")\n \"chat\"@en

"^^ ; . a ; "

UUID

\n\n

iri  UUID()\n

Return a fresh IRI from the UUID URN scheme. Each call of UUID() returns a different UUID. It must not be the \"nil\" UUID (all zeroes). The variant and version of the UUID is implementation dependent.

\n\n \n \n \n \n \n \n

\n UUID()\n \n <urn:uuid:b9302fb5-642e-4d3b-af19-29a8f6d894c9>\n

"^^ ; ; . a ; "

17.4.2.10 STRDT

\n\n

literal  STRDT(simple literal lexicalForm, IRI datatypeIRI)\n

The STRDT function constructs a literal with lexical form and type as specified by the arguments.

\n\n \n \n \n \n \n \n \n \n \n \n

\n `STRDT(\"123\", xsd:integer)`\n	\"123\"^^<http://www.w3.org/2001/XMLSchema#integer>
\n `STRDT(\"iiii\", <http://example/romanNumeral>)`\n	\"iiii\"^^<http://example/romanNumeral>

"^^ ; . a ; "

STRUUID

\n\n

simple literal  STRUUID()\n

Return a string that is the scheme specific part of UUID. That is, as a simple literal, the result of generating a UUID, converting to a simple literal and removing the initial urn:uuid:.

\n\n \n \n \n \n \n \n

\n STRUUID()\n \n \"73cd4307-8a99-4691-a608-b5bda64fb6c1\"\n

"^^ ; . a ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; "2023-07-10T15:29:36.472Z"^^ ; "Functions on RDF Terms" ; ; ; . a ; "

isBlank

\n\n

 xsd:boolean  isBlank (RDF term term)\n

Returns true if term is a blank node . Returns false otherwise.

@prefix a:          <http://www.w3.org/2000/10/annotation-ns#> .\n@prefix dc:         <http://purl.org/dc/elements/1.1/> .\n@prefix foaf:       <http://xmlns.com/foaf/0.1/> .\n\n_:a   a:annotates   <http://www.w3.org/TR/rdf-sparql-query/> .\n_:a   dc:creator    \"Alice B. Toeclips\" .\n\n_:b   a:annotates   <http://www.w3.org/TR/rdf-sparql-query/> .\n_:b   dc:creator    _:c .\n_:c   foaf:given    \"Bob\".\n_:c   foaf:family   \"Smith\".\n

This query matches the people with a dc:creator which uses predicates from the FOAF vocabulary to express the name.

PREFIX a:      <http://www.w3.org/2000/10/annotation-ns#>\nPREFIX dc:     <http://purl.org/dc/elements/1.1/>\nPREFIX foaf:   <http://xmlns.com/foaf/0.1/>\n\nSELECT ?given ?family\nWHERE { ?annot  a:annotates  <http://www.w3.org/TR/rdf-sparql-query/> .\n  ?annot  dc:creator   ?c .\n  OPTIONAL { ?c  foaf:given   ?given ; foaf:family  ?family } .\n  FILTER isBlank(?c)\n}\n

Query result:

\n\n \n \n \n \n \n \n \n \n \n \n

given	family
\"Bob\"	\"Smith\"

\n\n

In this example, there were two objects of dc:creator predicates, but only one (_:c) was a blank node.

"^^ ; . a ; "

isNumeric

\n\n

 xsd:boolean  isNumeric (RDF term term)\n

Returns true if term is a numeric value. Returns false otherwise. term is numeric if it has an appropriate datatype (see the section Operand Data Types) and has a valid lexical form, making it a valid argument to functions and operators taking numeric arguments.

Examples:

\n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n

\n `isNumeric(12)`\n	true
\n `isNumeric(\"12\")`\n	false
\n `isNumeric(\"12\"^^xsd:nonNegativeInteger)`\n	true
\n `isNumeric(\"1200\"^^xsd:byte)`\n	false
\n `isNumeric(<http://example/>)`\n	false

"^^ ; ; .