SPIN Standard Library
type: Ontology
version info: 1.3.0
imports: spin
comment: 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.
type: LibraryOntology

Constraint template
type: Class
subclass of: ConstructTemplate
comment: Metaclass for CONSTRUCT templates that create spin:ConstraintViolations and can be used as values of spin:constraint.

Test case
type: Class
subclass of: Resource
comment: 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.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#1
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#1
type: Argument
comment: The test expression or SELECT query (anything that can be evaluated with spin:eval).
predicate: test expression

test expression
type: Property
sub property of: arg

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#2
type: Argument
comment: The expected result of the test case, or nothing to indicate that an error is expected.
predicate: testResult
optional: true

testResult
type: Property
sub property of: arg

Union template
type: Class
subclass of: Template
comment: 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.

instance
type: Property
sub property of: arg
domain: ModuleCall

class
type: Property
sub property of: arg

count
type: Property
sub property of: arg

value type
type: Property
sub property of: arg

predicate
type: Property
sub property of: arg

default value
type: Property
sub property of: arg

optional
type: Property
sub property of: arg
range: boolean

SPIN Overview
type: SelectTemplate
subclass of: SelectTemplates
comment: 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.
label template: SPIN Overview
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#3

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#10
var name: bp

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#14
var name: bp

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#18
var name: bp

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#21
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#22
type: ModPath
sub path: subPropertyOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#23
var name: bp

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#26
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#27
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#28
var name: rule

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#32
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#38
var name: rule

Argument
type: ConstructTemplate
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#39
comment: Provides metadata about an argument of a SPIN Function or Template. Arguments wrap a given rdf:Property (predicate) and specify its value type and whether the argument is optional. When used as spin:constraint, the body of this template will verify that a non-optional value exists and that it has the specified value type. Arguments that have been declared spl:optional true become optional if the type of ?this is spl:UnionTemplate.
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#40
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#123
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#124
label template: Argument {?predicate} : {?valueType}
subclass of: ConstructTemplates
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#125
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#126

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#39
type: Argument
comment: the property holding the values of each function call
value type: Property
predicate: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#51
var name: label

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#52
type: concat
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#53
arg1: Missing value for argument

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#54
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#59
type: eq
arg2: false
arg1: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#60

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#60
var name: optional

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#63
var name: optional

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#69
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#70
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#76
var name: template

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#80
var name: template

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#85
var name: label

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#86
type: concat
arg5: )
arg4: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#87
arg3: (expected:
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#89
arg1: Incorrect type of argument

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#88
var name: valueType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#90
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#95
var name: valueType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#98
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#99
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#105
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#107
var name: valueType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#110
var name: valueType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#111
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#119
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#122
var name: label

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#123
type: Argument
comment: indicates whether the argument is optional
value type: boolean
predicate: optional
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#124
type: Argument
comment: the default value for the argument
predicate: default value
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#125
type: Argument
comment: the value type of the argument
value type: Class
predicate: value type
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#126
type: Argument
comment: a comment describing the argument
value type: string
predicate: comment
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#132
var name: rule

Attribute
type: ConstructTemplate
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#133
comment: Defines an "attribute" of a class. Attribute definitions bundle common modeling patterns known from object-oriented languages like UML. Each attribute can have min and max cardinality, a value type and a default value. The attribute links a class with one RDF property. This template should be used as spin:constraints on a class to make sure that classes meet the expected cardinalities and valueType constraints. If a model wants to use spl:defaultValue, then it should instantiate the spl:ConstructDefaultValues as a spin:constructor at some root class, such as rdfs:Resource.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#134
subclass of: ConstructTemplates
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#135
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#181
label template: Attribute {?predicate} : {?valueType} [{?minCount},{?maxCount}]
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#182
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#183
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#184

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#133
type: Argument
comment: the default value of the attribute
predicate: default value
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#134
type: Argument
comment: a comment describing the meaning of this attribute
value type: string
predicate: comment
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#143
var name: minCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#145
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#147
var name: minCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#153
var name: maxCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#155
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#157
var name: maxCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#162
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#163
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#168
var name: valueType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#169
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#172
var name: valueType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#180
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#181
type: Argument
comment: the maximum number of values permitted for the property
value type: integer
predicate: maxCount
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#182
type: Argument
comment: the RDF property holding the attribute value
value type: Property
predicate: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#183
type: Argument
comment: the type that all values of the property must have
value type: Class
predicate: value type
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#184
type: Argument
comment: the minimum number of values permitted for the property
value type: integer
predicate: minCount
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#186
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#188
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#190
var name: rule

Test-instanceOf-rdfsClassInheritance
type: Test case
testResult: true
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#191

relevant property at class
type: MagicProperty
subclass of: MagicProperties
comment: 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
return type: Class
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#192
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#193

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#192
type: Argument
comment: The property.
value type: Property
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#193
type: Select
where: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#194
result variables: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#243
distinct: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#196
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#197
type: ModPath
sub path: subClassOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#198
var name: superClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#204
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#205
var name: superClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#209
var name: superClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#210
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#215
var name: list

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#216
type: ModPath
sub path: rest
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#217
var name: listSegment

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#220
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#222
var name: list

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#224
var name: listSegment

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#225
var name: superClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#228
type: ModPath
sub path: subPropertyOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#229
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#236
var name: anyDomain

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#238
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#242
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#244
var name: class

Infer default value
type: ConstructTemplate
subclass of: ConstructTemplates
comment: 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}.
label template: Default value for {?predicate}: {?defaultValue}
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#245
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#246
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#247

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#245
type: Argument
comment: The predicate to infer the default value of.
value type: Property
predicate: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#246
type: Argument
comment: The default value to infer.
predicate: default value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#252
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#253
var name: anyValue

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#258
var name: anyValue

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#261
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#262
var name: defaultValue

COALESCE
type: Function
subclass of: Misc functions
comment: Takes any number of arguments, and returns the first bound argument, starting at the left.
symbol: COALESCE

Misc functions
type: Function
subclass of: Functions
comment: A collection of functions that are difficult to categorize.
abstract: true

rand
type: Function
subclass of: Mathematical functions
comment: 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.
symbol: RAND
return type: double

Mathematical functions
type: Function
subclass of: Functions
comment: A collection of functions operating on numbers.
abstract: true

year
type: Function
subclass of: Date functions
comment: Extracts the year from a date/time literal.
symbol: year
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#263

Date functions
type: Function
subclass of: Functions
comment: A collection of functions that operate on date/time literals.
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#263
type: Argument
comment: The date or dateTime argument.
value type: Literal
predicate: arg1

object in graph
type: Function
subclass of: Ontology functions
comment: 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.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#264
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#265
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#266
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#267

Ontology functions
type: Function
subclass of: Functions
comment: A collection of functions performing ontology-related operations.
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#264
type: Argument
comment: The graph to query in.
value type: Resource
predicate: arg3

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#265
type: Argument
comment: The predicate to get the object of.
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#266
type: Argument
comment: The subject to get the object from.
value type: Resource
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#272
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#274
var name: object

round
type: Function
subclass of: Mathematical functions
comment: 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.
symbol: round
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#275

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#275
type: Argument
comment: The number to round.
predicate: arg1

strlen
type: Function
subclass of: String functions
comment: Computes the length of a given input string.
symbol: STRLEN
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#276

String functions
type: Function
subclass of: Functions
comment: A collection of functions that return strings.
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#276
type: Argument
comment: The input string.
value type: string
predicate: arg1

Test-instanceOf-untypedString
type: Test case
testResult: true
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#277

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#277
type: instanceOf
arg2: string
arg1: test

strends
type: Function
subclass of: String functions
comment: Returns true if the lexical form of ?arg1 ends with the lexical form of ?arg2, otherwise it returns false.
symbol: STRENDS
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#278
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#279

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#278
type: Argument
comment: The sub-string that the input string is supposed to end with.
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#279
type: Argument
comment: The input string.
value type: string
predicate: arg1

hasValueOfType
type: Function
subclass of: Boolean functions
comment: 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.
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#280
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#281
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#282
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#283

Boolean functions
type: Function
subclass of: Functions
comment: A collection of functions that return a boolean value (true or false).
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#280
type: Argument
comment: the type to match against
value type: Class
predicate: arg3

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#281
type: Argument
comment: the expected property
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#282
type: Argument
comment: the subject that is expected to have the value
value type: Resource
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#286
var name: p

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#287
type: ModPath
sub path: subPropertyOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#290
var name: p

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#291
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#295
var name: value

All arguments
type: SelectTemplate
subclass of: SelectTemplates
comment: Gets a list of all spl:Arguments declared at a given class and its superclasses.
label template: All spl:Arguments of {?class}
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#296
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#297

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#296
type: Argument
comment: The class to get the arguments of.
value type: Class
predicate: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#300
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#301
type: ModPath
sub path: subClassOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#302
var name: atClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#305
var name: atClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#306
var name: arg

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#309
var name: arg

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#311
var name: arg

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#313
var name: atClass

sha1
type: Function
subclass of: Misc functions
comment: 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.
symbol: SHA1
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#314

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#314
type: Argument
comment: The input literal.
predicate: arg1

Regex property constraint
type: Constraint template
subclass of: Property constraint templates
label template: Values of {?property} must match the regular expression {?pattern}
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#316
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#317

Property constraint templates
type: Constraint template
subclass of: Constraint templates
comment: Abstract superclass of constraint templates that constrain exactly one property.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#315
abstract: true

Constraint templates
type: Constraint template
subclass of: ConstructTemplates
comment: 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.
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#315
type: Argument
comment: The property being constrained.
value type: Property
predicate: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#316
type: Argument
comment: The regular expression to match.
value type: string
predicate: pattern

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#320
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#321
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#326
var name: pattern

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#328
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#331
var name: message

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#332
type: concat
arg5: "
arg4: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#333
arg3: must match the regular expression "
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#334
arg1: Value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#333
var name: pattern

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#334
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#342
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#345
var name: message

tz
type: Function
subclass of: Date functions
comment: Returns the timezone part of ?arg1 as a simple literal. Returns the empty string if there is no timezone.
symbol: TZ

now
type: Function
subclass of: Date functions
comment: Gets the current date and time as an xsd:dateTime literal.
symbol: now
return type: dateTime

Test-instanceOf-lingualString
type: Test case
testResult: true
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#346

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#346
type: instanceOf
arg2: string
arg1: test

str
type: Function
subclass of: String functions
comment: 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.
symbol: str
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#348

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#348
type: Argument
comment: the node to convert to string
predicate: arg1

ceil
type: Function
subclass of: Mathematical functions
comment: 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.
symbol: ceil
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#349

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#349
type: Argument
comment: The number to get the ceiling of.
predicate: arg1

hasValue
type: Function
subclass of: Boolean functions
comment: Checks whether a given resource (?arg1) has a given value (?arg3) for a given property (?arg2) or one of the sub-properties of it.
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#350
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#351
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#352
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#353

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#350
type: Argument
comment: the expected value
predicate: arg3

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#351
type: Argument
comment: the property that is expected to hold the value
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#352
type: Argument
comment: the subject that is expected to have the value
value type: Resource
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#356
var name: p

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#357
type: ModPath
sub path: subPropertyOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#360
var name: p

floor
type: Function
subclass of: Mathematical functions
comment: 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.
symbol: floor
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#361

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#361
type: Argument
comment: The value to get the floor of.
predicate: arg1

timezone
type: Function
subclass of: Date functions
comment: Returns the timezone part of ?arg1 as an xsd:dayTimeDuration. Raises an error if there is no timezone.
symbol: TIMEZONE
return type: duration
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#362

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#362
type: Argument
comment: The input time.
value type: dateTime
predicate: arg1

IN
type: Function
subclass of: Boolean functions
comment: Checks whether the value on the left (?arg1) is one of the values on the right (?arg2, ?arg3..).
symbol: IN
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#363

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#363
type: Argument
comment: The value to find.
predicate: arg1

strstarts
type: Function
subclass of: String functions
comment: Returns true if the lexical form of ?arg1 begins with the lexical form of ?arg2, otherwise it returns false.
symbol: STRSTARTS
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#364
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#365

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#364
type: Argument
comment: The sub-string that the input string is supposed to begin with.
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#365
type: Argument
comment: The input string.
value type: string
predicate: arg1

ge
type: Function
subclass of: Boolean functions
comment: Returns true if ?arg1 >= ?arg2.
symbol: >=
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#366
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#367

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#366
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#367
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

has argument
type: Function
subclass of: Boolean functions
comment: Checks if a given module class (?module) has at least one declared spl:Argument.
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#368
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#369

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#368
type: Argument
comment: The module class to check.
value type: Module
predicate: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#372
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#373
type: ModPath
sub path: subClassOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#374
var name: superClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#377
var name: superClass

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#378
var name: con

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#381
var name: con

subject
type: Function
subclass of: Ontology functions
comment: 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.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#382
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#383
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#384

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#382
type: Argument
comment: The object.
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#383
type: Argument
comment: The predicate.
value type: Property
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#387
var name: subject

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#389
var name: subject

isURI
type: Function
subclass of: Boolean functions
comment: Checks whether a node is a URI.
symbol: isURI
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#390

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#390
type: Argument
comment: the node to check
predicate: arg1

hours
type: Function
subclass of: Date functions
comment: Extracts the hours from a date/time literal.
symbol: hours
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#391

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#391
type: Argument
comment: The dateTime or time argument.
value type: Literal
predicate: arg1

Test-instanceOf-typedString
type: Test case
testResult: true
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#392

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#392
type: instanceOf
arg2: string
arg1: test

unary plus
type: Function
subclass of: Mathematical functions
comment: Returns the operand ?arg1 with the sign unchanged. Semantically, this operation performs no operation.
symbol: +
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#393

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#393
type: Argument
comment: the operand
value type: Literal
predicate: arg1

minutes
type: Function
subclass of: Date functions
comment: Extracts the minutes from a date/time literal.
symbol: minutes
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#394

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#394
type: Argument
comment: The dateTime or time argument.
value type: Literal
predicate: arg1

replace
type: Function
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#395
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#396
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#397
comment: Replaces each non-overlapping occurrence of a regular expression pattern with a replacement string. Regular expession matching may involve modifier flags.
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#398
subclass of: String functions
symbol: REPLACE

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#395
type: Argument
comment: The replacement string.
value type: string
predicate: arg3

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#396
type: Argument
comment: The input string.
value type: string
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#397
type: Argument
comment: The pattern to replace.
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#398
type: Argument
comment: Additional flags for the replacement.
value type: string
predicate: arg4
optional: true

NOT IN
type: Function
subclass of: Boolean functions
comment: Checks whether the value on the left (?arg1) is none of the values on the right (?arg2, ?arg3..).
symbol: NOT IN
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#399

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#399
type: Argument
comment: The value to find.
predicate: arg1

strafter
type: Function
subclass of: String functions
comment: 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.
symbol: STRAFTER
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#400
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#401

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#400
type: Argument
comment: The pattern to find within the input string.
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#401
type: Argument
comment: The input string.
value type: string
predicate: arg1

sha384
type: Function
subclass of: Misc functions
comment: 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.
symbol: SHA384
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#402

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#402
type: Argument
comment: The input literal.
predicate: arg1

lang
type: Function
subclass of: String functions
comment: 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.
symbol: lang
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#403

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#403
type: Argument
comment: the literal to get the language of
value type: Literal
predicate: arg1

md5
type: Function
subclass of: Misc functions
comment: 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.
symbol: MD5
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#404

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#404
type: Argument
comment: The input literal.
predicate: arg1

sha256
type: Function
subclass of: Misc functions
comment: 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.
symbol: SHA256
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#405

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#405
type: Argument
comment: The input literal.
predicate: arg1

strbefore
type: Function
subclass of: String functions
comment: 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.
symbol: STRBEFORE
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#406
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#407

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#406
type: Argument
comment: The pattern to find within the input string.
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#407
type: Argument
comment: The input string.
value type: string
predicate: arg1

Existence property pair constraint
type: Constraint template
subclass of: Property pair constraint templates
label template: The property {?property} must have a value whenever {?otherProperty} has a value
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#409

Property pair constraint templates
type: Constraint template
subclass of: Property constraint templates
comment: Abstract base class for templates that take two properties as arguments and establish a relationship between them.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#408
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#408
type: Argument
comment: The "other" property.
value type: Property
predicate: otherProperty

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#415
var name: otherProperty

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#416
var name: someValue

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#422
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#423
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#426
var name: message

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#427
type: concat
arg3: has
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#428
arg1: Property must have a value because

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#428
var name: otherProperty

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#436
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#439
var name: message

strlang
type: Function
subclass of: String functions
comment: Takes a string (?arg1) and a language (?arg2) and constructs a literal with a corresponding language tag.
symbol: STRLANG
return type: PlainLiteral
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#440
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#441

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#440
type: Argument
comment: The language tag, e.g. "en-AU".
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#441
type: Argument
comment: The string value.
value type: string
predicate: arg1

LCASE
type: Function
subclass of: String functions
comment: Converts a string to lower case characters.
symbol: LCASE
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#442

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#442
type: Argument
comment: The input string.
value type: string
predicate: arg1

Test-instanceOf-typedString-false
type: Test case
testResult: false
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#443

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#443
type: instanceOf
arg2: integer
arg1: test

URI
type: Function
subclass of: Ontology functions
comment: Equivalent to IRI.
symbol: URI
return type: Resource
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#444

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#444
type: Argument
comment: The IRI string to convert to a resource.
value type: string
predicate: arg1

le
type: Function
subclass of: Boolean functions
comment: Returns true if ?arg1 <= ?arg2.
symbol: <=
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#445
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#446

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#445
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#446
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

bnode
type: Function
subclass of: Ontology functions
comment: 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.
symbol: BNODE
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#447

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#447
type: Argument
comment: A literal input node.
predicate: arg1
optional: true

min
type: Function
subclass of: Mathematical functions
comment: Takes two arguments and returns the smaller one of them.
return type: Literal
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#448
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#449
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#450

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#448
type: Argument
comment: The second argument.
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#449
type: Argument
comment: The first argument.
value type: Literal
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#453
var name: result

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#457
var name: result

struuid
type: Function
subclass of: String functions
comment: 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:.
symbol: STRUUID
return type: string

max
type: Function
subclass of: Mathematical functions
comment: Takes two arguments and returns the larger one of them.
return type: Literal
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#458
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#459
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#460

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#458
type: Argument
comment: The second argument.
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#459
type: Argument
comment: The first argument.
value type: Literal
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#463
var name: result

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#467
var name: result

seconds
type: Function
subclass of: Date functions
comment: Extracts the seconds from a date/time literal.
symbol: seconds
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#468

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#468
type: Argument
comment: The dateTime or time argument.
value type: Literal
predicate: arg1

sub property of
type: Function
subclass of: Ontology functions
comment: Checks whether a given property (?arg1) is a (transitive) sub-property of another property (?arg2).
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#469
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#470
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#471

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#469
type: Argument
comment: The potential super-property.
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#470
type: Argument
comment: The potential sub-property.
value type: Property
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#474
type: ModPath
sub path: subPropertyOf
mod min: 0
mod max: -2

Range property constraint
type: Constraint template
subclass of: Property constraint templates
comment: Represents a constraint that narrows down a property by a minimum and maximum value compared by <= and >=.
label template: Values of {?property} must be within the interval [ {?min} , {?max} ]
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#475
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#476
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#477
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#475
type: Argument
comment: The minimum value.
value type: Literal
predicate: min
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#476
type: Argument
comment: The maximum value.
value type: Literal
predicate: max
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#480
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#481
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#487
var name: max

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#488
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#490
var name: max

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#493
var name: min

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#494
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#496
var name: min

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#499
var name: message

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#500
type: concat
arg7: ]
arg6: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#501
arg5: ,
arg4: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#502
arg3: must be in the interval [
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#503
arg1: Value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#501
var name: max

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#502
var name: min

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#503
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#511
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#514
var name: message

sub class of
type: Function
subclass of: Ontology functions
comment: Checks whether a given class (?arg1) is a (transitive) sub-class of another class (?arg2).
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#515
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#516
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#517

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#515
type: Argument
comment: The potential super-class.
value type: Class
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#516
type: Argument
comment: The potential sub-class.
value type: Class
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#520
type: ModPath
sub path: subClassOf
mod min: 0
mod max: -2

divide
type: Function
subclass of: Mathematical functions
comment: Returns the arithmetic quotient of its operands.
symbol: /
return type: Literal
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#521
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#522

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#521
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#522
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

is numeric
type: Function
subclass of: Boolean functions
comment: 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.
symbol: isNumeric
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#523

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#523
type: Argument
comment: The node to check whether it's numeric.
predicate: arg1

day
type: Function
subclass of: Date functions
comment: Extracts the day from a date/time literal.
symbol: day
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#524

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#524
type: Argument
comment: The date or dateTime argument.
value type: Literal
predicate: arg1

Object count property constraint
type: Constraint template
subclass of: Count property constraint templates
comment: Represents a constraint that can be attached to a class to specify that a given property must have between min and max values.
label template: The property {?property} must have between {?minCount} and {?maxCount} values
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#527

Count property constraint templates
type: Constraint template
subclass of: Property constraint templates
comment: Abstract superclass of property constraints that compare the number of values with either min or max count.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#525
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#526
abstract: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#525
type: Argument
comment: The minimum number of values that the property must have.
value type: integer
predicate: minCount
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#526
type: Argument
comment: The maximum number of values that the property must have.
value type: integer
predicate: maxCount
optional: true

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#530
var name: objectCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#532
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#538
var name: maxCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#539
var name: objectCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#541
var name: maxCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#544
var name: minCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#545
var name: objectCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#547
var name: minCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#550
var name: message

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#551
type: concat
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#552
arg1: Invalid number of values:

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#552
var name: objectCount

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#560
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#563
var name: message

unary minus
type: Function
subclass of: Mathematical functions
comment: Returns the operand ?arg1 with the sign reversed. If ?arg1 is positive, its negative is returned; if it is negative, its positive is returned.
symbol: -
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#564

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#564
type: Argument
comment: the operand
value type: Literal
predicate: arg1

IRI
type: Function
subclass of: Ontology functions
comment: Creates a IRI resource (node) from a given IRI string (?arg1).
symbol: IRI
return type: Resource
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#565

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#565
type: Argument
comment: The IRI string to convert to a resource.
value type: string
predicate: arg1

Untyped object property constraint
type: Constraint template
subclass of: Property constraint templates
comment: A generic SPIN template that can be used to declare a constraint that all values of a given property must have an rdf:type.
label template: Values of {?property} must have a type
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#566

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#569
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#570
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#576
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#577
var name: anyType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#580
var name: message

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#581
type: concat
arg3: must have a type
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#582
arg1: Value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#582
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#590
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#593
var name: message

Test-instanceOf-rdfsLiteral
type: Test case
testResult: true
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#594

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#594
type: instanceOf
arg2: Literal
arg1: test

Test-instanceOf-rdfsClass
type: Test case
testResult: true
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#595

month
type: Function
subclass of: Date functions
comment: Extracts the month from a date/time literal.
symbol: month
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#596

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#596
type: Argument
comment: The date or dateTime argument.
value type: Literal
predicate: arg1

encode_for_uri
type: Function
subclass of: String functions
symbol: ENCODE_FOR_URI
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#597

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#597
type: Argument
comment: The string to convert.
value type: string
predicate: arg1

Test-object-labelOfArgument
type: Test case
testResult: Argument
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#598

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#603
var name: value

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#606
var name: value

UCASE
type: Function
subclass of: String functions
comment: Converts a string to upper case characters.
symbol: UCASE
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#607

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#607
type: Argument
comment: The input string.
value type: string
predicate: arg1

mul
type: Function
subclass of: Mathematical functions
comment: Returns the arithmetic product of its operands.
symbol: *
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#608
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#609

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#608
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#609
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

Construct default values
type: ConstructTemplate
subclass of: ConstructTemplates
comment: This template can be attached as spin:constructor to a root class such as rdfs:Resource to ensure that SPIN processors assign default values to certain properties. Looks for any templates attached as spin:constraints to the types of ?this and then assigns their declared spl:defaultValues.
label template: Construct default values
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#610

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#613
var name: directType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#616
var name: directType

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#617
type: ModPath
sub path: subClassOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#618
var name: type

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#621
var name: type

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#622
var name: attribute

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#625
var name: attribute

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#626
var name: defaultValue

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#629
var name: attribute

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#630
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#633
var name: predicate

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#634
var name: defaultValue

Run test cases
type: SelectTemplate
subclass of: SelectTemplates
comment: Runs all spl:TestCases on the current model.
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#635

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#638
var name: testCase

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#639
var name: expr

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#644
var name: testCase

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#645
var name: expected

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#648
var name: actual

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#650
var name: expr

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#656
var name: expected

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#657
var name: actual

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#659
var name: expected

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#662
var name: actual

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#664
var name: expected

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#666
var name: testCase

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#668
var name: expected

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#670
var name: actual

Test-instanceOf-rdfsClass-false
type: Test case
testResult: false
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#671

substr
type: Function
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#672
comment: Gets the sub-string of a given string. The index of the first character is 1.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#673
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#674
symbol: SUBSTR
return type: string
subclass of: String functions

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#672
type: Argument
comment: The start index.
value type: integer
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#673
type: Argument
comment: The input string.
value type: string
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#674
type: Argument
comment: The end index.
value type: integer
predicate: arg3
optional: true

Test-instanceOf-rdfsLiteral-false
type: Test case
testResult: false
test expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#675

object sub prop
type: Function
subclass of: Ontology functions
comment: 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.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#676
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#677
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#678

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#676
type: Argument
comment: The predicate to get the object of (including sub-properties of it).
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#677
type: Argument
comment: The subject to get the object from.
value type: Resource
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#681
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#682
type: ModPath
sub path: subPropertyOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#685
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#686
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#688
var name: object

sub
type: Function
subclass of: Mathematical functions
comment: Returns the arithmetic difference of its operands.
symbol: -
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#689
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#690

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#689
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#690
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

subjectCount
type: Function
subclass of: Ontology functions
comment: 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).
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#691
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#692
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#693

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#691
type: Argument
comment: the object to get the number of subjects of
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#692
type: Argument
comment: the predicate to get the number of subjects of
value type: Property
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#696
var name: subject

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#698
var name: result
expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#699

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#700
var name: subject

Non-existence property pair constraint
type: Constraint template
subclass of: Property pair constraint templates
label template: The property {?property} must have no values as long as {?otherProperty} has none
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#701

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#707
var name: otherProperty

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#708
var name: someValue

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#714
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#715
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#718
var name: message

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#719
type: concat
arg3: has none
arg2: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#720
arg1: Property must have no values because

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#720
var name: otherProperty

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#728
var name: property

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#731
var name: message

abs
type: Function
subclass of: Mathematical functions
comment: Returns the absolute value of arg. An error is raised if arg is not a numeric value.
symbol: abs
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#732

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#732
type: Argument
comment: The input value.
predicate: arg1

add
type: Function
subclass of: Mathematical functions
comment: Returns the arithmetic sum of its operands.
symbol: +
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#733
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#734

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#733
type: Argument
comment: the second number
value type: Resource
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#734
type: Argument
comment: the first number
value type: Resource
predicate: arg1

sha512
type: Function
subclass of: Misc functions
comment: 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.
symbol: SHA512
return type: string
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#735

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#735
type: Argument
comment: The input literal.
predicate: arg1

UUID
type: Function
subclass of: URI functions
comment: 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.
symbol: UUID
return type: Resource

URI functions
type: Function
subclass of: Functions
comment: A collection of functions that create URI resources.
abstract: true

langMatches
type: Function
subclass of: String functions
comment: Returns true if language-tag (first argument) matches language-range (second argument) per the basic filtering scheme defined in [RFC4647] section 3.3.1.
symbol: langMatches
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#736
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#737

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#736
type: Argument
comment: the language tag that ?arg1 must have
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#737
type: Argument
comment: the literal that is expected to have ?arg2 as language tag
value type: Literal
predicate: arg1

strdt
type: Function
subclass of: Ontology functions
comment: Constructs a literal with lexical form and type as specified by the arguments.
symbol: STRDT
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#738
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#739

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#738
type: Argument
comment: The datatype of the new literal.
value type: Datatype
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#739
type: Argument
comment: The lexical form of the new literal.
value type: string
predicate: arg1

contains
type: Function
subclass of: String functions
comment: 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.
symbol: CONTAINS
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#740
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#741

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#740
type: Argument
comment: The sub-string to search for in the input string.
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#741
type: Argument
comment: The input string.
value type: string
predicate: arg1

isUntypedLiteral
type: Function
subclass of: Boolean functions
comment: 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.
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#742
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#743

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#742
type: Argument
comment: The literal to test.
value type: Literal
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#752
type: Argument
comment: the input string
value type: string
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#753
type: Argument
comment: The expression to evaluate. Should be a sp:Select, sp:Ask, a sp:Variable or an instance of a SPARQL function class, but may also be a simple RDF value.
predicate: arg1

IF
type: Function
subclass of: Misc functions
comment: The SPARQL 1.1 built-in function IF.
symbol: IF
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#755
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#756
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#757

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#755
type: Argument
comment: The function result if ?arg1 is false.
predicate: arg3

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#756
type: Argument
comment: The function result if ?arg1 is true.
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#757
type: Argument
comment: A condition to evaluate - if true then the ?arg2 will be returned, otherwise ?arg3.
value type: boolean
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#758
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#760
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#761
type: ModPath
sub path: subClassOf
mod min: 0
mod max: -2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#762
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#763
type: Argument
comment: the first operand
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#764
type: Argument
comment: the second operand
value type: Literal
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#772
var name: datatype

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#775
var name: datatype

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#778
var name: datatype

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#781
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#782
var name: class

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#785
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#786
var name: object

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#788
var name: result
expression: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#789

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#790
type: Argument
comment: The predicate to get the object of.
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#793
type: Argument
comment: the node being checked
predicate: arg1

not
type: Function
subclass of: Boolean functions
comment: Returns the boolean negation of the argument.
symbol: !
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#794

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#794
type: Argument
comment: the operand to negate
value type: boolean
predicate: arg1

instanceOf
type: Function
version info: Note that in TopBraid this function has been implemented in native Java code, for performance reasons.
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#795
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#815
comment: 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.
return type: boolean
label template: {?arg1} instance of {?arg2}
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#816
subclass of: Boolean functions

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#811
var name: datatype

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#815
type: Argument
comment: the type that the instance must have
value type: Class
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#816
type: Argument
comment: the instance being tested
value type: Resource
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#818
type: Argument
comment: The subject to get the object from.
value type: Resource
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#819
type: Argument
comment: the subject to get the number of objects of
value type: Resource
predicate: arg1

lt
type: Function
subclass of: Boolean functions
comment: Returns true if ?arg1 < ?arg2.
symbol: <
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#758
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#820

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#820
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

eq
type: Function
subclass of: Boolean functions
comment: Returns true if both arguments are equal.
symbol: =
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#821
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#822

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#821
type: Argument
comment: the second value to compare
value type: boolean
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#822
type: Argument
comment: the first value to compare
value type: boolean
predicate: arg1

NOT EXISTS
type: Function
subclass of: Boolean functions
comment: The filter function NOT EXISTS. The graph pattern is stored in sp:elements.
symbol: NOT EXISTS
return type: boolean

concat
type: Function
subclass of: String functions
comment: 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.
symbol: CONCAT
return type: string

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#823
type: Argument
comment: the node being tested
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#824
type: Argument
comment: the first operand
value type: Literal
predicate: arg1

isIRI
type: Function
subclass of: Boolean functions
comment: Checks whether a given node is a IRI node.
symbol: isIRI
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#825

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#825
type: Argument
comment: the node being tested
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#826
type: Argument
comment: the first operand of the intersection
value type: boolean
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#827
type: Argument
comment: the property to get the number of values of
value type: Property
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#828
type: Argument
comment: the first argument
predicate: arg1

datatype
type: Function
subclass of: Ontology functions
comment: Returns the datatype IRI of argument ?arg1; returns xsd:string if the parameter is a simple literal.
symbol: datatype
return type: Class
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#829

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#829
type: Argument
comment: the literal to get the datatype of
value type: Literal
predicate: arg1

gt
type: Function
subclass of: Boolean functions
comment: Returns true if ?arg1 > arg2.
symbol: >
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#764
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#824

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#830
type: Argument
comment: the flags
value type: string
predicate: arg3
optional: true

ne
type: Function
subclass of: Boolean functions
comment: Returns true if ?arg1 != ?arg2.
symbol: !=
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#831
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#763

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#831
type: Argument
comment: the second operand
predicate: arg2

object
type: Function
version info: Note that in TopBraid this function has been implemented in native Java code, for performance reasons.
subclass of: Ontology functions
comment: 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.
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#790
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#818
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#817

bound
type: Function
subclass of: Boolean functions
comment: Returns true if ?arg1 is bound to a value. Returns false otherwise. Variables with the value NaN or INF are considered bound.
symbol: bound
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#832

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#832
type: Argument
comment: the variable or expression that is checked
predicate: arg1

objectCount
type: Function
subclass of: Ontology functions
comment: 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).
return type: integer
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#827
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#819
body: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#833

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#834
type: Argument
comment: the match pattern
value type: string
predicate: arg2

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#835
type: Argument
comment: the second operand of the intersection
value type: boolean
predicate: arg2

regex
type: Function
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#752
comment: 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.
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#830
subclass of: String functions
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#834
symbol: regex

and
type: Function
subclass of: Boolean functions
comment: Return the logical AND between two (boolean) operands.
symbol: &&
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#835
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#826

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#836
type: Argument
comment: the second operand
value type: boolean
predicate: arg2

isBlank
type: Function
subclass of: Boolean functions
comment: Checks whether a given node is a blank node.
symbol: isBlank
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#793

or
type: Function
subclass of: Boolean functions
comment: Returns the logical OR between two (boolean) operands.
symbol: ||
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#836
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#837

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#837
type: Argument
comment: the first operand
value type: boolean
predicate: arg1

http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#838
type: Argument
comment: the second argument
predicate: arg2

same term
type: Function
subclass of: Boolean functions
comment: 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.
symbol: sameTerm
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#838
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#828

EXISTS
type: Function
subclass of: Boolean functions
comment: The filter function EXISTS. The graph pattern is stored in sp:elements.
symbol: EXISTS
return type: boolean

isLiteral
type: Function
subclass of: Boolean functions
comment: Checks whether a given node is a literal.
symbol: isLiteral
return type: boolean
constraint: http://lodlaundromat.org/.well-known/genid/56b259c87c034d4229cb5bed87e324e6#823