SPIN Standard Library

IRI:
http://spinrdf.org/spl
Current version:
1.4.2
Imported Ontologies:
http://spinrdf.org/spin (visualise it with LODE)
Other visualisation:
Ontology source

Abstract

A collection of generally useful SPARQL functions (expressed as SPIN functions), and SPIN templates. Also provides a top-level classification of functions, and definitions of the standard SPARQL functions.

Table of Content

  1. Classes
  2. Named Individuals
  3. Annotation Properties
  4. Namespace Declarations

Classes

absc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#abs

Returns the absolute value of arg. An error is raised if arg is not a numeric value.
has super-classes
Mathematical functionsc
is also defined as
named individual

addc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#add

Returns the arithmetic sum of its operands.
has super-classes
Mathematical functionsc
is also defined as
named individual

All argumentsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#AllArguments

Gets a list of all spl:Arguments declared at a given class and its superclasses.
has super-classes
select templates
is also defined as
named individual

andc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#and

Return the logical AND between two (boolean) operands.
has super-classes
Boolean functionsc
is also defined as
named individual

bnodec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#bnode

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.
has super-classes
Ontology functionsc
is also defined as
named individual

Boolean functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#BooleanFunctions

A collection of functions that return a boolean value (true or false).
has super-classes
functions
has sub-classes
EXISTSc, INc, NOT EXISTSc, NOT INc, andc, boundc, eqc, gec, gtc, has argumentc, hasValuec, hasValueOfTypec, instanceOfc, is numericc, isBlankc, isIRIc, isLiteralc, isURIc, isUntypedLiteralc, lec, ltc, nec, notc, orc, same termc
is also defined as
named individual

boundc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#bound

Returns true if ?arg1 is bound to a value. Returns false otherwise. Variables with the value NaN or INF are considered bound.
has super-classes
Boolean functionsc
is also defined as
named individual

ceilc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#ceil

Returns the smallest (closest to negative infinity) number with no fractional part that is not less than the value of arg. An error is raised if ?arg1 is not a numeric value.
has super-classes
Mathematical functionsc
is also defined as
named individual

COALESCEc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#coalesce

Takes any number of arguments, and returns the first bound argument, starting at the left.
has super-classes
Misc functionsc
is also defined as
named individual

concatc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#concat

The CONCAT built-in function. Creates a single string by concatenating all arguments from left to right. Note that if any one of the arguments is unbound (null) then the whole result string will be unbound.
has super-classes
String functionsc
is also defined as
named individual

Constraint templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#ConstraintTemplate

Metaclass for CONSTRUCT templates that create spin:ConstraintViolations and can be used as values of spin:constraint.
has super-classes
construct template
has members
Constraint templatesni, Count property constraint templatesni, Existence property pair constraintni, Less than other property pair constraintni, Non-existence property pair constraintni, Object count property constraintni, Primary key property constraintni, Property constraint templatesni, Property pair constraint templatesni, Range property constraintni, Regex property constraintni, String length property constraintni, Type property constraintni, Unique property value constraintni, Untyped object property constraintni

Constraint templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#ConstraintTemplates

Abstract superclass of templates that can be used as spin:constraints. The subclasses are expected to construct spin:ConstraintViolations and use ?this to talk about the instances of the associated class.
has super-classes
construct templates
has sub-classes
Property constraint templatesc
is also defined as
named individual

containsc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#contains

Returns an xsd:boolean indicating whether or not the value of ?arg1 contains (at the beginning, at the end, or anywhere within) at least one sequence of collation units that provides a minimal match to the collation units in the value of ?arg2, according to the collation that is used.
has super-classes
String functionsc
is also defined as
named individual

Count property constraint templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#CountPropertyConstraintTemplates

Abstract superclass of property constraints that compare the number of values with either min or max count.
has super-classes
Property constraint templatesc
has sub-classes
Object count property constraintc
is also defined as
named individual

datatypec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#datatype

Returns the datatype IRI of argument ?arg1; returns xsd:string if the parameter is a simple literal.
has super-classes
Ontology functionsc
is also defined as
named individual

Date functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#DateFunctions

A collection of functions that operate on date/time literals.
has super-classes
functions
has sub-classes
dayc, hoursc, minutesc, monthc, nowc, secondsc, timezonec, tzc, yearc
is also defined as
named individual

dayc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#day

Extracts the day from a date/time literal.
has super-classes
Date functionsc
is also defined as
named individual

dividec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#divide

Returns the arithmetic quotient of its operands.
has super-classes
Mathematical functionsc
is also defined as
named individual

encode_for_uric back to ToC or Class ToC

IRI: http://spinrdf.org/sp#encode_for_uri

has super-classes
String functionsc
is also defined as
named individual

eqc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#eq

Returns true if both arguments are equal.
has super-classes
Boolean functionsc
is also defined as
named individual

Existence property pair constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#ExistencePropertyPairConstraint

has super-classes
Property pair constraint templatesc
is also defined as
named individual

EXISTSc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#exists

The filter function EXISTS. The graph pattern is stored in sp:elements.
has super-classes
Boolean functionsc
is also defined as
named individual

floorc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#floor

Returns the largest (closest to positive infinity) number with no fractional part that is not greater than the value of ?arg1. An error is raised if ?arg1 is not a numeric value.
has super-classes
Mathematical functionsc
is also defined as
named individual

gec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#ge

Returns true if ?arg1 >= ?arg2.
has super-classes
Boolean functionsc
is also defined as
named individual

gtc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#gt

Returns true if ?arg1 > arg2.
has super-classes
Boolean functionsc
is also defined as
named individual

has argumentc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#hasArgument

Checks if a given module class (?module) has at least one declared spl:Argument.
has super-classes
Boolean functionsc
is also defined as
named individual

has primary keyc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#hasPrimaryKey

Checks if a given class has a declared primary key, using spl:PrimaryKeyPropertyConstraint.
has super-classes
Ontology functionsc
is also defined as
named individual

hasValuec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#hasValue

Checks whether a given resource (?arg1) has a given value (?arg3) for a given property (?arg2) or one of the sub-properties of it.
has super-classes
Boolean functionsc
is also defined as
named individual

hasValueOfTypec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#hasValueOfType

Checks whether a given subject (?arg1) has at least one value of a given type (?arg3) for a given property (?arg2) or one of its sub-properties.
has super-classes
Boolean functionsc
is also defined as
named individual

hoursc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#hours

Extracts the hours from a date/time literal.
has super-classes
Date functionsc
is also defined as
named individual

IFc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#if

The SPARQL 1.1 built-in function IF.
has super-classes
Misc functionsc
is also defined as
named individual

INc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#in

Checks whether the value on the left (?arg1) is one of the values on the right (?arg2, ?arg3 ...).
has super-classes
Boolean functionsc
is also defined as
named individual

Infer default valuec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#InferDefaultValue

Can be used to infer default values for a given subject/predicate combination. This is typically assigned as spin:rule to a class. If ?this does not already have a value for a given property {?predicate}, then this will infer the value {?defaultValue}.
has super-classes
construct templates
is also defined as
named individual

instanceOfc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#instanceOf

Current version:
Note that in TopBraid this function has been implemented in native Java code, for performance reasons.
Checks whether a given resource (?arg1) has a given type (?arg2). In order to fulfill this condition, there must either be a triple ?arg1 rdf:type ?arg2, or ?instance rdf:type ?subClass where ?subClass is a subclass of ?arg2. If the first argument is a literal, then the second argument must be the matching XSD datatype.
has super-classes
Boolean functionsc
is also defined as
named individual

IRIc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#iri

Creates a IRI resource (node) from a given IRI string (?arg1).
has super-classes
Ontology functionsc
is also defined as
named individual

is numericc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#isNumeric

Returns true if arg1 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.
has super-classes
Boolean functionsc
is also defined as
named individual

is primary key property of instancec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#isPrimaryKeyPropertyOfInstance

Checks if a given property is the primary key of a given instance.
has super-classes
Ontology functionsc
is also defined as
named individual

isBlankc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#isBlank

Checks whether a given node is a blank node.
has super-classes
Boolean functionsc
is also defined as
named individual

isIRIc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#isIRI

Checks whether a given node is a IRI node.
has super-classes
Boolean functionsc
is also defined as
named individual

isLiteralc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#isLiteral

Checks whether a given node is a literal.
has super-classes
Boolean functionsc
is also defined as
named individual

isUntypedLiteralc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#isUntypedLiteral

Checks whether a given literal is untyped. This function was introduced because the built-in datatype operand in SPARQL casts untyped literals to xsd:string, making it impossible to check it this way. This function here uses a work-around using sameTerm instead.
has super-classes
Boolean functionsc
is also defined as
named individual

isURIc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#isURI

Checks whether a node is a URI.
has super-classes
Boolean functionsc
is also defined as
named individual

langc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#lang

Returns the language tag of ?arg1, if it has one. It returns "" if the literal has no language tag. Node that the RDF data model does not include literals with an empty language tag.
has super-classes
String functionsc
is also defined as
named individual

langMatchesc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#langMatches

Returns true if language-tag (first argument) matches language-range (second argument) per the basic filtering scheme defined in [RFC4647] section 3.3.1.
has super-classes
String functionsc
is also defined as
named individual

LCASEc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#lcase

Converts a string to lower case characters.
has super-classes
String functionsc
is also defined as
named individual

lec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#le

Returns true if ?arg1 <= ?arg2.
has super-classes
Boolean functionsc
is also defined as
named individual

Less than other property pair constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#LessThanOtherPropertyPairConstraint

Can be used to define a constraint between two properties (?property and ?otherProperty) enforcing the invariant that the values of ?property must be smaller than the values of ?otherProperty. For example this can be used to state that ex:startDate must be < ex:endDate.
has super-classes
Property pair constraint templatesc
is also defined as
named individual

ltc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#lt

Returns true if ?arg1 < ?arg2.
has super-classes
Boolean functionsc
is also defined as
named individual

Mathematical functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#MathematicalFunctions

A collection of functions operating on numbers.
has super-classes
functions
has sub-classes
absc, addc, ceilc, dividec, floorc, maxc, minc, mulc, randc, roundc, subc, unary minusc, unary plusc
is also defined as
named individual

maxc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#max

Takes two arguments and returns the larger one of them.
has super-classes
Mathematical functionsc
is also defined as
named individual

md5c back to ToC or Class ToC

IRI: http://spinrdf.org/sp#md5

Returns the MD5 checksum, as a hex digit string, calculated on the UTF-8 representation of the simple literal or lexical form of the xsd:string. Hex digits SHOULD be in lower case.
has super-classes
Misc functionsc
is also defined as
named individual

minc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#min

Takes two arguments and returns the smaller one of them.
has super-classes
Mathematical functionsc
is also defined as
named individual

minutesc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#minutes

Extracts the minutes from a date/time literal.
has super-classes
Date functionsc
is also defined as
named individual

Misc functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#MiscFunctions

A collection of functions that are difficult to categorize.
has super-classes
functions
has sub-classes
COALESCEc, IFc, md5c, sha1c, sha256c, sha384c, sha512c
is also defined as
named individual

monthc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#month

Extracts the month from a date/time literal.
has super-classes
Date functionsc
is also defined as
named individual

mulc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#mul

Returns the arithmetic product of its operands.
has super-classes
Mathematical functionsc
is also defined as
named individual

nec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#ne

Returns true if ?arg1 != ?arg2.
has super-classes
Boolean functionsc
is also defined as
named individual

Non-existence property pair constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#NonExistencePropertyPairConstraint

has super-classes
Property pair constraint templatesc
is also defined as
named individual

notc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#not

Returns the boolean negation of the argument.
has super-classes
Boolean functionsc
is also defined as
named individual

NOT EXISTSc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#notExists

The filter function NOT EXISTS. The graph pattern is stored in sp:elements.
has super-classes
Boolean functionsc
is also defined as
named individual

NOT INc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#notIn

Checks whether the value on the left (?arg1) is none of the values on the right (?arg2, ?arg3 ...).
has super-classes
Boolean functionsc
is also defined as
named individual

nowc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#now

Gets the current date and time as an xsd:dateTime literal.
has super-classes
Date functionsc
is also defined as
named individual

objectc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#object

Current version:
Note that in TopBraid this function has been implemented in native Java code, for performance reasons.
Gets the object of a given subject (?arg1) / predicate (?arg2) combination. Note that if multiple values are present then the result might be unpredictably random. Furthermore, if one of the arguments is unbound, it will return the first match of the resulting SPO pattern. These scenarios are strongly discouraged but remain left supported for backward compatibility reasons.
has super-classes
Ontology functionsc
is also defined as
named individual

Object count property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#ObjectCountPropertyConstraint

Represents a constraint that can be attached to a class to specify that a given property must have between min and max values.
has super-classes
Count property constraint templatesc
is also defined as
named individual

object in graphc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#objectInGraph

Gets the object of a given subject (?arg1) / predicate (?arg2) combination in a given graph ?arg3. Note that if multiple values are present then the result might be unpredictably random.
has super-classes
Ontology functionsc
is also defined as
named individual

object sub propc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#objectSubProp

Gets the object of a given subject (?arg1) / predicate (?arg2) combination, also taking the sub-properties of ?arg2 into account. Note that if multiple values are present then the result might be unpredictably random.
has super-classes
Ontology functionsc
is also defined as
named individual

objectCountc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#objectCount

Gets the number of values of a given property (?arg2) at a given subject (?arg1). The result is the number of matches of (?arg1, ?arg2, ?object).
has super-classes
Ontology functionsc
is also defined as
named individual

Ontology functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#OntologyFunctions

A collection of functions performing ontology-related operations.
has super-classes
functions
has sub-classes
IRIc, URIc, bnodec, datatypec, has primary keyc, is primary key property of instancec, objectc, object in graphc, object sub propc, objectCountc, primary key URI startc, primary key propertyc, strdtc, sub class ofc, sub property ofc, subjectc, subject in graphc, subjectCountc
is also defined as
named individual

orc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#or

Returns the logical OR between two (boolean) operands.
has super-classes
Boolean functionsc
is also defined as
named individual

primary key propertyc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#primaryKeyProperty

Gets the primary key property declared for a given class, using spl:PrimaryKeyPropertyConstraint.
has super-classes
Ontology functionsc
is also defined as
named individual

Primary key property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#PrimaryKeyPropertyConstraint

Specifies that the given property is a primary key for instances of the associated class (and its subclasses). If a property has been declared to be the primary key then each instance of the class must have exactly one value for that property. Furthermore, the URIs of those instances must start with a given string (arg:uriStart), followed by the URL-encoded primary key value. For example if arg:uriStart is "http://example.org/country-" and the primary key for an instance is "de" then the URI must be "http://example.org/country-de". Finally, as a result of the URI policy, there can not be any other instance with the same value under the same primary key policy.
has super-classes
Property constraint templatesc
is also defined as
named individual

primary key URI startc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#primaryKeyURIStart

Gets the URI start declared as part of a primary key declaration for a given class, using spl:PrimaryKeyPropertyConstraint.
has super-classes
Ontology functionsc
is also defined as
named individual

Property constraint templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#PropertyConstraintTemplates

Abstract superclass of constraint templates that constrain exactly one property.
has super-classes
Constraint templatesc
has sub-classes
Count property constraint templatesc, Primary key property constraintc, Property pair constraint templatesc, Range property constraintc, Regex property constraintc, String length property constraintc, Type property constraintc, Unique property value constraintc, Untyped object property constraintc
is also defined as
named individual

Property pair constraint templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#PropertyPairConstraintTemplates

Abstract base class for templates that take two properties as arguments and establish a relationship between them.
has super-classes
Property constraint templatesc
has sub-classes
Existence property pair constraintc, Less than other property pair constraintc, Non-existence property pair constraintc
is also defined as
named individual

randc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#rand

Returns a number between 0 (inclusive) and 1.0e0 (exclusive). Different numbers can be produced every time this function is invoked. Numbers should be produced with approximately equal probability.
has super-classes
Mathematical functionsc
is also defined as
named individual

Range property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#RangePropertyConstraint

Represents a constraint that narrows down a property by a minimum and maximum value compared by <= and >=.
has super-classes
Property constraint templatesc
is also defined as
named individual

regexc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#regex

Returns true if a string (?arg1) matches the regular expression supplied as a pattern (?arg2) as influenced by the value of flags (?arg3), otherwise returns false.
has super-classes
String functionsc
is also defined as
named individual

Regex property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#RegexPropertyConstraint

has super-classes
Property constraint templatesc
is also defined as
named individual

relevant property at classc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#relevantPropertyAtClass

A magic property that establishes a relationship between properties (left) and classes (right) to determine which properties are "relevant" for the class. Relevant means that they have the class in their domain and/or restrictions, including superclasses and sub-properties (unless they define their own domain). Domains consisting of an owl:unionOf are also handled. Note that the performance of the body of this magic property has been optimized for the case in which the class is given, so ideally use this for queries such as ?property spl:relevantPropertyAtClass skos:Concept .
has super-classes
magic properties
is also defined as
named individual

replacec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#replace

Replaces each non-overlapping occurrence of a regular expression pattern with a replacement string. Regular expession matching may involve modifier flags.
has super-classes
String functionsc
is also defined as
named individual

roundc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#round

Returns the number with no fractional part that is closest to the argument. If there are two such numbers, then the one that is closest to positive infinity is returned. An error is raised if ?arg1 is not a numeric value.
has super-classes
Mathematical functionsc
is also defined as
named individual

Run test casesc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#RunTestCases

Runs all spl:TestCases on the current model.
has super-classes
select templates
is also defined as
named individual

same termc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#sameTerm

Returns TRUE if ?arg1 and ?arg2 are the same RDF term as defined in Resource Description Framework (RDF): Concepts and Abstract Syntax; returns FALSE otherwise.
has super-classes
Boolean functionsc
is also defined as
named individual

secondsc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#seconds

Extracts the seconds from a date/time literal.
has super-classes
Date functionsc
is also defined as
named individual

sha1c back to ToC or Class ToC

IRI: http://spinrdf.org/sp#sha1

Returns the SHA1 checksum, as a hex digit string, calculated on the UTF-8 representation of the simple literal or lexical form of the xsd:string. Hex digits SHOULD be in lower case.
has super-classes
Misc functionsc
is also defined as
named individual

sha256c back to ToC or Class ToC

IRI: http://spinrdf.org/sp#sha256

Returns the SHA256 checksum, as a hex digit string, calculated on the UTF-8 representation of the simple literal or lexical form of the xsd:string. Hex digits SHOULD be in lower case.
has super-classes
Misc functionsc
is also defined as
named individual

sha384c back to ToC or Class ToC

IRI: http://spinrdf.org/sp#sha384

Returns the SHA384 checksum, as a hex digit string, calculated on the UTF-8 representation of the simple literal or lexical form of the xsd:string. Hex digits SHOULD be in lower case.
has super-classes
Misc functionsc
is also defined as
named individual

sha512c back to ToC or Class ToC

IRI: http://spinrdf.org/sp#sha512

Returns the SHA512 checksum, as a hex digit string, calculated on the UTF-8 representation of the simple literal or lexical form of the xsd:string. Hex digits SHOULD be in lower case.
has super-classes
Misc functionsc
is also defined as
named individual

SPIN Overviewc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#SPINOverview

Finds all constraints and rules attached to classes in the current graph, using spin:constraint, spin:constructor, spin:rule or their sub-properties. The result set will contain the associated class, the predicate, and the SPIN rule.
has super-classes
select templates
is also defined as
named individual

strc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#str

Returns the lexical form of ?arg1 (a literal); returns the codepoint representation of ?arg1 (an IRI). This is useful for examining parts of an IRI, for instance, the host-name.
has super-classes
String functionsc
is also defined as
named individual

strafterc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strafter

Returns a literal of the same kind (simple literal, plain literal same language tag, xsd:string) as the first argument arg1. The lexical form of the result is the substring of the value of arg1 that proceeds in arg1 the first occurrence of the lexical form of arg2; otherwise the lexical form of the result is the empty string. If the lexical form of arg2 is the empty string, the lexical form of the result is the emprty string.
has super-classes
String functionsc
is also defined as
named individual

strbeforec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strbefore

Returns a literal of the same kind (simple literal, plain literal same language tag, xsd:string) as the first argument arg1. The lexical form of the result is the substring of the value of arg1 that precedes in arg1 the first occurrence of the lexical form of arg2; otherwise the lexical form of the result is the empty string. If the lexical form of arg2 is the empty string, the lexical form of the result is the emprty string.
has super-classes
String functionsc
is also defined as
named individual

strdtc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strdt

Constructs a literal with lexical form and type as specified by the arguments.
has super-classes
Ontology functionsc
is also defined as
named individual

strendsc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strends

Returns true if the lexical form of ?arg1 ends with the lexical form of ?arg2, otherwise it returns false.
has super-classes
String functionsc
is also defined as
named individual

String functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#StringFunctions

A collection of functions that return strings.
has super-classes
functions
has sub-classes
LCASEc, UCASEc, concatc, containsc, encode_for_uric, langc, langMatchesc, regexc, replacec, strc, strafterc, strbeforec, strendsc, strlangc, strlenc, strstartsc, struuidc, substrc
is also defined as
named individual

String length property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#StringLengthPropertyConstraint

Represents a constraint that narrows down a property by a minimum and maximum length of the characters of the string representation of its values. This constraint is typically used for string literals, but may also be useful for integers (e.g. 4 digit numbers), and may even be used to limit the length of URIs.
has super-classes
Property constraint templatesc
is also defined as
named individual

strlangc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strlang

Takes a string (?arg1) and a language (?arg2) and constructs a literal with a corresponding language tag.
has super-classes
String functionsc
is also defined as
named individual

strlenc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strlen

Computes the length of a given input string.
has super-classes
String functionsc
is also defined as
named individual

strstartsc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#strstarts

Returns true if the lexical form of ?arg1 begins with the lexical form of ?arg2, otherwise it returns false.
has super-classes
String functionsc
is also defined as
named individual

struuidc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#struuid

Returns 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:.
has super-classes
String functionsc
is also defined as
named individual

subc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#sub

Returns the arithmetic difference of its operands.
has super-classes
Mathematical functionsc
is also defined as
named individual

sub class ofc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#subClassOf

Checks whether a given class (?arg1) is a (transitive) sub-class of another class (?arg2).
has super-classes
Ontology functionsc
is also defined as
named individual

sub property ofc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#subPropertyOf

Checks whether a given property (?arg1) is a (transitive) sub-property of another property (?arg2).
has super-classes
Ontology functionsc
is also defined as
named individual

subjectc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#subject

Gets the "first" subject of a given predicate (?arg1)/object (?arg2) combination. Note that if multiple values are present then the result might be unpredictably random.
has super-classes
Ontology functionsc
is also defined as
named individual

subject in graphc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#subjectInGraph

Gets the "first" subject of a given predicate (?arg1)/object (?arg2) combination in a given graph (?arg3). Note that if multiple values are present then the result might be unpredictably random.
has super-classes
Ontology functionsc
is also defined as
named individual

subjectCountc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#subjectCount

Gets the number of values of a given property (?arg1) at a given object (?arg2). The result is the number of matches of (?subject, ?arg1, ?arg2).
has super-classes
Ontology functionsc
is also defined as
named individual

substrc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#substr

Gets the sub-string of a given string. The index of the first character is 1.
has super-classes
String functionsc
is also defined as
named individual

Test casec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#TestCase

A test to verify that a SPIN function or magic property works as expected, and to generate documentation of example uses of the function. Each TestCase consists of a SPARQL function call or an expression that can be executed with spin:eval, and an expected result. The test framework only needs to execute spin:eval on the expression and compare it with the expected result.
has super-classes
resource
has members
test instance of lingual stringni, test instance of rdfs classni, test instance of rdfs class falseni, test instance of rdfs class inheritanceni, test instance of rdfs literalni, test instance of rdfs literal falseni, test instance of typed stringni, test instance of typed string falseni, test instance of untyped stringni, test object label of argumentni, test object no valueni

timezonec back to ToC or Class ToC

IRI: http://spinrdf.org/sp#timezone

Returns the timezone part of ?arg1 as an xsd:dayTimeDuration. Raises an error if there is no timezone.
has super-classes
Date functionsc
is also defined as
named individual

Type property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#TypePropertyConstraint

Represents a constraint that narrows down the rdf:type of the values of a property.
has super-classes
Property constraint templatesc
is also defined as
named individual

tzc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#tz

Returns the timezone part of ?arg1 as a simple literal. Returns the empty string if there is no timezone.
has super-classes
Date functionsc
is also defined as
named individual

UCASEc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#ucase

Converts a string to upper case characters.
has super-classes
String functionsc
is also defined as
named individual

unary minusc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#unaryMinus

Returns the operand ?arg1 with the sign reversed. If ?arg1 is positive, its negative is returned; if it is negative, its positive is returned.
has super-classes
Mathematical functionsc
is also defined as
named individual

unary plusc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#unaryPlus

Returns the operand ?arg1 with the sign unchanged. Semantically, this operation performs no operation.
has super-classes
Mathematical functionsc
is also defined as
named individual

Union templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spl#UnionTemplate

This type can be used for templates that serve as the union (or "collector") of other templates. Union templates differ from other templates in that all spl:Arguments are optional. This means that union templates can be declared as subclasses of multiple other templates, yet when instantiated, only some of the arguments defined by the superclasses need to be filled in.
has super-classes
template

Unique property value constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#UniquePropertyValueConstraint

Reports an error if the given property has a value that is also used elsewhere, for the same property.
has super-classes
Property constraint templatesc
is also defined as
named individual

Untyped object property constraintc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#UntypedObjectPropertyConstraint

A generic SPIN template that can be used to declare a constraint that all values of a given property must have an rdf:type.
has super-classes
Property constraint templatesc
is also defined as
named individual

URIc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#uri

Equivalent to IRI.
has super-classes
Ontology functionsc
is also defined as
named individual

URI functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spl#URIFunctions

A collection of functions that create URI resources.
has super-classes
functions
has sub-classes
UUIDc
is also defined as
named individual

UUIDc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#UUID

Returns 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.
has super-classes
URI functionsc
is also defined as
named individual

yearc back to ToC or Class ToC

IRI: http://spinrdf.org/sp#year

Extracts the year from a date/time literal.
has super-classes
Date functionsc
is also defined as
named individual

Named Individuals

absni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#abs

belongs to
function
is also defined as
class

addni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#add

belongs to
function
is also defined as
class

All argumentsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#AllArguments

belongs to
select template
is also defined as
class

andni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#and

belongs to
function
is also defined as
class

Argumentni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Argument

belongs to
construct template

Attributeni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Attribute

belongs to
construct template

bnodeni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#bnode

belongs to
function
is also defined as
class

Boolean functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#BooleanFunctions

belongs to
function
is also defined as
class

boundni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#bound

belongs to
function
is also defined as
class

ceilni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#ceil

belongs to
function
is also defined as
class

COALESCEni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#coalesce

belongs to
function
is also defined as
class

concatni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#concat

belongs to
function
is also defined as
class

Constraint templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#ConstraintTemplates

belongs to
Constraint templatec
is also defined as
class

Construct default valuesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#ConstructDefaultValues

belongs to
construct template

containsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#contains

belongs to
function
is also defined as
class

Count property constraint templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#CountPropertyConstraintTemplates

belongs to
Constraint templatec
is also defined as
class

datatypeni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#datatype

belongs to
function
is also defined as
class

Date functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#DateFunctions

belongs to
function
is also defined as
class

dayni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#day

belongs to
function
is also defined as
class

divideni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#divide

belongs to
function
is also defined as
class

encode_for_urini back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#encode_for_uri

belongs to
function
is also defined as
class

eqni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#eq

belongs to
function
is also defined as
class

Existence property pair constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#ExistencePropertyPairConstraint

belongs to
Constraint templatec
is also defined as
class

EXISTSni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#exists

belongs to
function
is also defined as
class

floorni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#floor

belongs to
function
is also defined as
class

geni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#ge

belongs to
function
is also defined as
class

gtni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#gt

belongs to
function
is also defined as
class

has argumentni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#hasArgument

belongs to
function
is also defined as
class

has primary keyni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#hasPrimaryKey

belongs to
function
is also defined as
class

hasValueni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#hasValue

belongs to
function
is also defined as
class

hasValueOfTypeni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#hasValueOfType

belongs to
function
is also defined as
class

hoursni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#hours

belongs to
function
is also defined as
class

IFni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#if

belongs to
function
is also defined as
class

INni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#in

belongs to
function
is also defined as
class

Infer default valueni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#InferDefaultValue

belongs to
construct template
is also defined as
class

instanceOfni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#instanceOf

belongs to
function
is also defined as
class

IRIni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#iri

belongs to
function
is also defined as
class

is numericni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#isNumeric

belongs to
function
is also defined as
class

is primary key property of instanceni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#isPrimaryKeyPropertyOfInstance

belongs to
function
is also defined as
class

isBlankni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#isBlank

belongs to
function
is also defined as
class

isIRIni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#isIRI

belongs to
function
is also defined as
class

isLiteralni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#isLiteral

belongs to
function
is also defined as
class

isUntypedLiteralni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#isUntypedLiteral

belongs to
function
is also defined as
class

isURIni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#isURI

belongs to
function
is also defined as
class

langni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#lang

belongs to
function
is also defined as
class

langMatchesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#langMatches

belongs to
function
is also defined as
class

LCASEni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#lcase

belongs to
function
is also defined as
class

leni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#le

belongs to
function
is also defined as
class

Less than other property pair constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#LessThanOtherPropertyPairConstraint

belongs to
Constraint templatec
is also defined as
class

ltni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#lt

belongs to
function
is also defined as
class

Mathematical functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#MathematicalFunctions

belongs to
function
is also defined as
class

maxni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#max

belongs to
function
is also defined as
class

md5ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#md5

belongs to
function
is also defined as
class

minni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#min

belongs to
function
is also defined as
class

minutesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#minutes

belongs to
function
is also defined as
class

Misc functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#MiscFunctions

belongs to
function
is also defined as
class

monthni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#month

belongs to
function
is also defined as
class

mulni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#mul

belongs to
function
is also defined as
class

neni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#ne

belongs to
function
is also defined as
class

Non-existence property pair constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#NonExistencePropertyPairConstraint

belongs to
Constraint templatec
is also defined as
class

notni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#not

belongs to
function
is also defined as
class

NOT EXISTSni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#notExists

belongs to
function
is also defined as
class

NOT INni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#notIn

belongs to
function
is also defined as
class

nowni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#now

belongs to
function
is also defined as
class

objectni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#object

belongs to
function
is also defined as
class

Object count property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#ObjectCountPropertyConstraint

belongs to
Constraint templatec
is also defined as
class

object in graphni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#objectInGraph

belongs to
function
is also defined as
class

object sub propni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#objectSubProp

belongs to
function
is also defined as
class

objectCountni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#objectCount

belongs to
function
is also defined as
class

Ontology functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#OntologyFunctions

belongs to
function
is also defined as
class

orni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#or

belongs to
function
is also defined as
class

primary key propertyni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#primaryKeyProperty

belongs to
function
is also defined as
class

Primary key property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#PrimaryKeyPropertyConstraint

belongs to
Constraint templatec
is also defined as
class

primary key URI startni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#primaryKeyURIStart

belongs to
function
is also defined as
class

Property constraint templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#PropertyConstraintTemplates

belongs to
Constraint templatec
is also defined as
class

Property pair constraint templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#PropertyPairConstraintTemplates

belongs to
Constraint templatec
is also defined as
class

randni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#rand

belongs to
function
is also defined as
class

Range property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#RangePropertyConstraint

belongs to
Constraint templatec
is also defined as
class

regexni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#regex

belongs to
function
is also defined as
class

Regex property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#RegexPropertyConstraint

belongs to
Constraint templatec
is also defined as
class

relevant property at classni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#relevantPropertyAtClass

belongs to
magic property
is also defined as
class

replaceni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#replace

belongs to
function
is also defined as
class

roundni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#round

belongs to
function
is also defined as
class

Run test casesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#RunTestCases

belongs to
select template
is also defined as
class

same termni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#sameTerm

belongs to
function
is also defined as
class

secondsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#seconds

belongs to
function
is also defined as
class

sha1ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#sha1

belongs to
function
is also defined as
class

sha256ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#sha256

belongs to
function
is also defined as
class

sha384ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#sha384

belongs to
function
is also defined as
class

sha512ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#sha512

belongs to
function
is also defined as
class

SPIN Overviewni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#SPINOverview

belongs to
select template
is also defined as
class

SPIN Standard Libraryni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl

belongs to
library ontology

strni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#str

belongs to
function
is also defined as
class

strafterni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strafter

belongs to
function
is also defined as
class

strbeforeni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strbefore

belongs to
function
is also defined as
class

strdtni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strdt

belongs to
function
is also defined as
class

strendsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strends

belongs to
function
is also defined as
class

String functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#StringFunctions

belongs to
function
is also defined as
class

String length property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#StringLengthPropertyConstraint

belongs to
Constraint templatec
is also defined as
class

strlangni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strlang

belongs to
function
is also defined as
class

strlenni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strlen

belongs to
function
is also defined as
class

strstartsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#strstarts

belongs to
function
is also defined as
class

struuidni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#struuid

belongs to
function
is also defined as
class

subni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#sub

belongs to
function
is also defined as
class

sub class ofni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#subClassOf

belongs to
function
is also defined as
class

sub property ofni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#subPropertyOf

belongs to
function
is also defined as
class

subjectni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#subject

belongs to
function
is also defined as
class

subject in graphni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#subjectInGraph

belongs to
function
is also defined as
class

subjectCountni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#subjectCount

belongs to
function
is also defined as
class

substrni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#substr

belongs to
function
is also defined as
class

test instance of lingual stringni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-lingualString

belongs to
Test casec

test instance of rdfs classni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-rdfsClass

belongs to
Test casec

test instance of rdfs class falseni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-rdfsClass-false

belongs to
Test casec

test instance of rdfs class inheritanceni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-rdfsClassInheritance

belongs to
Test casec

test instance of rdfs literalni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-rdfsLiteral

belongs to
Test casec

test instance of rdfs literal falseni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-rdfsLiteral-false

belongs to
Test casec

test instance of typed stringni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-typedString

belongs to
Test casec

test instance of typed string falseni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-typedString-false

belongs to
Test casec

test instance of untyped stringni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-instanceOf-untypedString

belongs to
Test casec

test object label of argumentni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-object-labelOfArgument

belongs to
Test casec

test object no valueni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#Test-object-noValue

belongs to
Test casec

timezoneni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#timezone

belongs to
function
is also defined as
class

Type property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#TypePropertyConstraint

belongs to
Constraint templatec
is also defined as
class

tzni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#tz

belongs to
function
is also defined as
class

UCASEni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#ucase

belongs to
function
is also defined as
class

unary minusni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#unaryMinus

belongs to
function
is also defined as
class

unary plusni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#unaryPlus

belongs to
function
is also defined as
class

Unique property value constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#UniquePropertyValueConstraint

belongs to
Constraint templatec
is also defined as
class

Untyped object property constraintni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#UntypedObjectPropertyConstraint

belongs to
Constraint templatec
is also defined as
class

URIni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#uri

belongs to
function
is also defined as
class

URI functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#URIFunctions

belongs to
function
is also defined as
class

UUIDni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#UUID

belongs to
function
is also defined as
class

yearni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#year

belongs to
function
is also defined as
class

Annotation Properties

arg6ap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/sp#arg6

arg8ap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/sp#arg8

classap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#class

has super-properties
arg

classap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#class

has super-properties
arg

countap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#count

has super-properties
arg
has sub-properties
max countap, min countap

default valueap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#defaultValue

has super-properties
arg

instanceap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#instance

has super-properties
arg

instanceap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#instance

has super-properties
arg
has domain
module call

maxap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#max

has super-properties
arg

max countap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#maxCount

has super-properties
arg

max countap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#maxCount

has super-properties
countap

max lengthap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#maxLength

has super-properties
arg

minap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#min

has super-properties
arg

min countap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#minCount

has super-properties
arg

min countap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#minCount

has super-properties
countap

min lengthap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#minLength

has super-properties
arg

optionalap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#optional

has super-properties
arg
has range
boolean

other propertyap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#otherProperty

has super-properties
arg

patternap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#pattern

has super-properties
arg

propertyap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#property

has super-properties
arg
is also defined as
named individual

test expressionap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#testExpression

has super-properties
arg

testResultap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spl#testResult

has super-properties
arg

typeap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#type

has super-properties
arg

uri startap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/arg#uriStart

has super-properties
arg
is also defined as
named individual

Namespace Declarations back to ToC

default namespace
http://spinrdf.org/spl#
arg
http://spinrdf.org/arg#
function
http://jena.hpl.hp.com/ARQ/function#
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
sp
http://spinrdf.org/sp#
spin
http://spinrdf.org/spin#
spinrdf-org
http://spinrdf.org/
spl
http://spinrdf.org/spl#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.