SPIN Modeling Vocabulary

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

Abstract

An RDF Schema that can be used to attach constraints and rules to RDFS classes, and to encapsulate reusable SPARQL queries into functions and templates.

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Named Individuals
  5. Annotation Properties
  6. Namespace Declarations

Classes

askc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#ask

Executes a given ASK query and returns its boolean result. The first argument must point to an sp:Ask or a SPIN template call that has an ASK query as its body. All subsequent argument can come in pairs, with the first one being a variable name and the second its binding. Example: BIND (spin:ask(?query, "this", owl:Thing) AS ?result) . will execute the sp:Ask behind ?query with the variable ?this pre-bound to owl:Thing.
has super-classes
Functionsc
is also defined as
named individual

Ask templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#AskTemplate

A SPIN template that wraps an ASK query.
has super-classes
Templatec
has members
Ask templatesni

Ask templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#AskTemplates

Suggested abstract base class for all AskTemplates.
has super-classes
Templatesc
is also defined as
named individual

Columnc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Column

Provides metadata about a column in the result set of a (SPARQL) query, for example of the body queries of SPIN templates. Columns can define human-readable labels that serve as column titles, using rdfs:label.
has super-classes
resource
is in domain of
column indexdp, column typeop, column widthdp
is in range of
columnop

Constraint violationc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#ConstraintViolation

An object that can be created by spin:constraints to provide information about a constraint violation.
has super-classes
resource
is in domain of
fixop, violation detailop, violation levelop, violation pathop, violation rootop, violation sourceop, violation value
is in range of
violation detailop

Constraint violation levelc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#ConstraintViolationLevel

The type of the supported levels of constraint violations, including spin:Error and spin:Warning.
has super-classes
resource
is in range of
violation levelop
has members
Errorni, Fatalni, Infoni, Warningni

constructc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#construct

Evaluates a given sp:Construct or SPIN template call (first argument on the left hand side) and binds the resulting triples to the variables on the right hand side. Example: (?query "this" owl:Thing) spin:construct (?s ?p ?o) will execute the sp:Construct ?query using the binding of owl:Thing to ?this. The resulting triples will be bound to ?s, ?p and ?o. If any of ?s ?p ?o are bound, it will only return the matching triples.
has super-classes
Magic propertiesc
is also defined as
named individual

Construct templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#ConstructTemplate

has super-classes
Templatec
has members
Construct templatesni

Construct templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#ConstructTemplates

Suggested abstract base class for all ConstructTemplates.
has super-classes
Templatesc
is also defined as
named individual

construct violationsc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#constructViolations

Takes an instance (?arg1) and a class definition (?arg2) and returns all constraint violations for that instance as triples. This magic property basically runs its own constraint checker for defining meta-constraints, and can also be used to classify instances. Example: CONSTRUCT { ?s ?p ?o . } WHERE { (my:Person my:OldPerson) spin:constructViolations (?s ?p ?o) . }
has super-classes
Magic propertiesc
is also defined as
named individual

evalc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#eval

Evaluates a given SPIN expression or SELECT or ASK query, and returns its result. The first argument must be the expression in SPIN RDF syntax. All other arguments must come in pairs: first a property name, and then a value. These name/value pairs will be pre-bound variables for the execution of the expression.
has super-classes
Functionsc
is also defined as
named individual

eval in graphc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#evalInGraph

Evaluates a given SPIN expression or SELECT or ASK query, and returns its result. The first argument must be the expression in SPIN RDF syntax. This RDF representation of this expression is expected to be in the currently active query graph. The second argument is the URI of a graph that the actual query shall be evaluated against. All other arguments must come in pairs: first a property name, and then a value. These name/value pairs will be pre-bound variables for the execution of the expression.
has super-classes
Functionsc
is also defined as
named individual

Functionc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Function

Metaclass for functions that can be used in SPARQL expressions (e.g. FILTER or BIND). The function themselves are classes that are instances of this metaclass. Function calls are instances of the function classes, with property values for the arguments.
has super-classes
Modulec
has sub-classes
Magic propertyc
is in domain of
cachabledp, cachable for ontologiesdp, return typeop, symboldp
has members
Functionsni, askni, evalni, eval in graphni, violates constraintsni

Functionsc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Functions

An abstract base class for all defined functions. This class mainly serves as a shared root so that the various instances of the Function metaclass are grouped together.
has super-classes
Modulesc
has sub-classes
Magic propertiesc, askc, evalc, eval in graphc, violates constraintsc
is also defined as
named individual

Library ontologyc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#LibraryOntology

A marker class that can be attached to base URIs (ontologies) to instruct SPIN engines that this ontology only contains a library of SPIN declarations. Library Ontologies should be ignored by SPIN inference engines even if they have been imported by a domain model. For example, a SPIN version of OWL RL may contain all the OWL RL axioms, attached to owl:Thing, but nothing else. However, when executed, these axioms should not be executed over themselves, because we don't want the system to reason about the SPIN triples to speed up things.
has super-classes
ontologyc

Magic propertiesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#MagicProperties

An abstract superclass that can be used to group all spin:MagicProperty instances under a single parent class.
has super-classes
Functionsc
has sub-classes
constructc, construct violationsc, selectc
is also defined as
annotation property, named individual

Magic propertyc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#MagicProperty

has super-classes
Functionc
propertyc
is in domain of
inverse bodyop
has members
Magic propertiesni, constructni, construct violationsni, selectni

Modulec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Module

An abstract building block of a SPARQL system. A Module can take Arguments as input and applies them on an input RDF Graph. The Arguments should be declared as spin:constraints.
has super-classes
classc
has sub-classes
Functionc, Templatec
is in domain of
abstractdp, privatedp

Modulesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Modules

An "artificial" parent class for all Functions and Templates.
has super-classes
resource
has sub-classes
Functionsc, Templatesc
is also defined as
named individual

Rulec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Rule

Groups together the kinds of SPARQL commands that can appear as SPIN rules and constructors: CONSTRUCT, DELETE WHERE and DELETE/INSERT. This class is never to be instantiated directly.
has super-classes
command
is in range of
constructorop, ruleop

Rule propertyc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#RuleProperty

The metaclass of spin:rule and its subproperties. spin:RuleProperties can have additional metadata attached to them.
has super-classes
propertyc
is in domain of
next rule propertyop, rule property max iteration countdp
is in range of
next rule propertyop
has members
ruleni

selectc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#select

Executes a given SELECT or ASK query (or a corresponding SPIN template call) and binds its result rows to the variables specified on the right hand side. May also pre-bind variables for the query execution, using name-value pairs on the left hand side. Example: (?query "this" owl:Thing) spin:select (?a ?b) will execute the sp:Select or sp:Ask that ?query points to and pre-bind ?this with the value of owl:Thing for the execution of the query. The first result variable of the query's result set will be bound to ?a, the second to ?b etc. If the nodes on the right are bound (or constants) then it will match with the values from the result set. Note that the first argument on the left hand side can be an instance of a SPIN template (but not the template itself). If you need to execute a template, retrieve its spin:body first.
has super-classes
Magic propertiesc
is also defined as
named individual

Select templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#SelectTemplate

A SPIN template that wraps a SELECT query.
has super-classes
Table data providerc
Templatec
has members
Select templatesni

Select templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#SelectTemplates

Suggested abstract base class for all SelectTemplates.
has super-classes
Templatesc
is also defined as
named individual

Table data providerc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#TableDataProvider

An abstraction of objects that can produce tabular data. This serves as a base class of spin:SelectTemplate, because SELECT queries can produce tables with columns for each result variable. However, other types of TableDataProviders are conceivable by other frameworks, and this class may prove as a useful shared foundation. TableDataProviders can link to definitions of columns via spin:column, and these definitions can inform rendering engines.
has super-classes
classc
has sub-classes
Select templatec
is in domain of
columnop

Templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Template

The metaclass of SPIN templates. Templates are classes that are instances of this class. A template represents a reusable SPARQL query or update request that can be parameterized with arguments. Templates can be instantiated in places where normally a SPARQL query or update request is used, in particular as spin:rules and spin:constraints.
has super-classes
Modulec
has sub-classes
Ask templatec, Construct templatec, Select templatec, Update templatec
is in domain of
label templatedp
has members
Templatesni

Templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#Templates

Suggested abstract base class for all Templates.
has super-classes
Modulesc
has sub-classes
Ask templatesc, Construct templatesc, Select templatesc, Update templatesc
is also defined as
named individual

Update templatec back to ToC or Class ToC

IRI: http://spinrdf.org/spin#UpdateTemplate

A SPIN template that has an UPDATE command as its body.
has super-classes
Templatec
is in range of
fixop
has members
Update templatesni

Update templatesc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#UpdateTemplates

Suggested abstract base class for all UpdateTemplates.
has super-classes
Templatesc
is also defined as
named individual

violates constraintsc back to ToC or Class ToC

IRI: http://spinrdf.org/spin#violatesConstraints

Checks whether a given instance (?arg1) violates any of the constraints defined for a given class (?arg2).
has super-classes
Functionsc
is also defined as
named individual

Object Properties

bodyop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#body

The body of a Function or Template. This points to a Query instance. For Functions, this is limited to either ASK or SELECT type queries. If the body is the ASK function then the return value is xsd:boolean. Otherwise, the SELECT query must have a single return variable. The first binding of this SELECT query will be returned as result of the function call.
has range
command
is also defined as
annotation property

columnop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#column

Can link a TableDataProvider (esp. SelectTemplate) with one or more columns that provide metadata for rendering purposes. Columns can be sorted by their spin:columnIndex (which must align with the ordering of variables in the SELECT query starting with 0). Not all result variables of the underlying query need to have a matching spin:Column.
has domain
Table data providerc
has range
Columnc
is also defined as
annotation property

column typeop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#columnType

The datatype or resource type of a spin:Column. For example this is useful as metadata to inform a rendering engine that numeric columns (e.g. xsd:float) need to be right-aligned.
has domain
Columnc
has range
classc
is also defined as
annotation property

commandop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#command

Can be used to link a resource with a SPARQL query or update request (sp:Command).
has sub-properties
constructorop, queryop, ruleop, updateop
has range
command

constructorop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#constructor

Can be used to attach a "constructor" to a class. A constructor is a SPARQL CONSTRUCT query or INSERT/DELETE Update operation that can add initial values to the current instance. At execution time, the variable ?this is bound to the current instance. Tools can call constructors of a class and its superclasses when an instance of a class has been created. Constructors will also be used to initialize resources that have received a new rdf:type triple as a result of spin:rules firing.
has super-properties
commandop
has domain
classc
has range
Rulec

fixop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#fix

Can be used to link a ConstraintViolation with one or more UPDATE Templates that would help fix the violation.
has domain
Constraint violationc
has range
Update templatec
is also defined as
annotation property

inverse bodyop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#inverseBody

The inverse body of a magic property - used to provide a more optimized query if there is one result variable (on the right). The values must be instances of Select and must return SELECT ?arg1 etc. The WHERE clause can access the variable ?object to refer to the provided value on the right hand side of the magic property.
has domain
Magic propertyc
has range
select
is also defined as
annotation property

next rule propertyop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#nextRuleProperty

Can be used to link two sub-properties of spin:rule (or spin:rule itself) to instruct the SPIN engine to execute one set of rules before another one. The values of the subject property will be executed before those of the object property.
has domain
Rule propertyc
has range
Rule propertyc
is also defined as
annotation property

queryop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#query

Can be used to point from any resource to a Query.
has super-properties
commandop
has range
query

return typeop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#returnType

The return type of a Function, e.g. xsd:string.
has domain
Functionc
has range
classc
is also defined as
annotation property

ruleop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#rule

An inferencing rule attached to a class. Rules are expressed as CONSTRUCT queries or INSERT/DELETE operations where the variable ?this will be bound to the current instance of the class. These inferences can be used to derive new values from existing values at the instance.
has super-properties
commandop
has domain
classc
has range
Rulec
is also defined as
named individual

updateop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#update

Can be used to point from any resource to an Update.
has super-properties
commandop
has range
update

violation detailop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#violationDetail

Links a (parent) spin:ConstraintViolation with one or more (child) spin:ConstraintViolations that provide details on the parent violation. This is commonly used in conjunction with spin:constructViolations to indicate that certain violations have triggered the parent violation.
has domain
Constraint violationc
has range
Constraint violationc
is also defined as
annotation property

violation levelop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#violationLevel

An optional attribute of ConstraintViolations to point at a violation level (such as Error and Warning). Defaults to spin:Error.
has domain
Constraint violationc
has range
Constraint violation levelc
is also defined as
annotation property

violation pathop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#violationPath

An optional attribute of ConstraintViolations to provide a path expression from the root resource to the value that is invalid. If this is a URI then the path represents the predicate of a subject/predicate combination. Otherwise it should be a blank node of type sp:Path.
has domain
Constraint violationc
has range
resource
is also defined as
annotation property

violation rootop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#violationRoot

The root resource of the violation (often ?this in the constraint body).
has domain
Constraint violationc
has range
resource
is also defined as
annotation property

violation sourceop back to ToC or Object Property ToC

IRI: http://spinrdf.org/spin#violationSource

Can be used to link a spin:ConstraintViolation with the query or template call that caused it. This property is typically filled in automatically by the constraint checking engine and does not need to be set manually. However, it can be useful to learn more about the origin of a violation.
has domain
Constraint violationc
has range
resource
is also defined as
annotation property

Data Properties

abstractdp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#abstract

Can be set to true to indicate that this module shall not be instantiated. Abstract modules are only there to organize other modules into hierarchies.
has domain
Modulec
has range
boolean
is also defined as
annotation property

cachabledp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#cachable

Can be set to true to instruct the SPIN engine that it may cache the results of all calls to the associated function. Functions should only be marked as cachable if the same combination of input arguments always returns the same result. Functions that query a graph or other background data that may change over time should not be cached. Caching can significantly improve performance of frequently needed functions.
has domain
Functionc
has range
boolean
is also defined as
annotation property

cachable for ontologiesdp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#cachableForOntologies

Can be set to true to instruct the SPIN engine that the outcome of the function does not depend on any instances/indivuduals in the current query graph, but only on the definitions of classes, properties and shapes. Engines may cache the results of all calls to the associated function. Functions should only be marked as cachable if the same combination of input arguments always returns the same result.
has domain
Functionc
has range
boolean
is also defined as
annotation property

column indexdp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#columnIndex

The index of a column (from left to right) starting at 0.
has domain
Columnc
has range
integer
is also defined as
annotation property

column widthdp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#columnWidth

The preferred width of the associated Column, for display purposes. Values in pixels (rendering engines may multiply the values depending on resolution).
has domain
Columnc
has range
integer
is also defined as
annotation property

label templatedp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#labelTemplate

A template string for displaying instantiations of a module in human-readable form. The template may contain the argument variable names in curly braces to support substitution. For example, "The number of values of the {?arg1} property."
has domain
Templatec
has range
string
is also defined as
annotation property

privatedp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#private

Can be set to true to indicate that a SPIN function or template is only meant to be used as a helper of other modules, but not directly. Among others, this allows user interfaces to filter out private modules. Furthermore, it tells potential users of this module that they should avoid using this module, as it may not be stable.
has domain
Modulec
has range
boolean
is also defined as
annotation property

rule property max iteration countdp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#rulePropertyMaxIterationCount

Can be attached to spin:rule (or subclasses thereof) to instruct a SPIN rules engine that it shall only execute the rules max times. If no value is specified, then the rules will be executed with no specific limit.
has domain
Rule propertyc
has range
integer
is also defined as
annotation property

symboldp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#symbol

The symbol of a function, e.g. "=" for the eq function.
has domain
Functionc
has range
string
is also defined as
annotation property

this unbounddp back to ToC or Data Property ToC

IRI: http://spinrdf.org/spin#thisUnbound

Can be set to true for SPIN rules and constraints that do not require pre-binding the variable ?this with all members of the associated class. This flag should only be set to true if the WHERE clause is sufficiently strong to only bind instances of the associated class, or its subclasses. In those cases, the engine can greatly improve performance of query execution, because it does not need to add clauses to narrow down the WHERE clause.
has domain
construct
has range
boolean
is also defined as
annotation property

Named Individuals

_thisni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#_this

A system variable representing the current context instance in a rule or constraint.
belongs to
variable

arg1ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#_arg1

belongs to
variable

arg2ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#_arg2

belongs to
variable

arg3ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#_arg3

belongs to
variable

arg4ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#_arg4

belongs to
variable

arg5ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#_arg5

belongs to
variable

askni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#ask

belongs to
Functionc
is also defined as
class

Ask templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#AskTemplates

belongs to
Ask templatec
has facts
abstractdp "true"^^boolean
is also defined as
class

constructni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#construct

belongs to
Magic propertyc
is also defined as
class

Construct templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#ConstructTemplates

belongs to
Construct templatec
has facts
abstractdp "true"^^boolean
is also defined as
class

construct violationsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#constructViolations

belongs to
Magic propertyc
is also defined as
class

Errorni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Error

Indicates that the associated constraint violation is an error that should be fixed.
belongs to
Constraint violation levelc

evalni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#eval

belongs to
Functionc
is also defined as
class

eval in graphni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#evalInGraph

belongs to
Functionc
is also defined as
class

Fatalni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Fatal

Indicates that the associated constraint violation is a severe error that must be fixed. Constraint checking engines may decide to stop further evaluation once a fatal error has been detected.
belongs to
Constraint violation levelc

Functionsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Functions

belongs to
Functionc
has facts
abstractdp "true"^^boolean
is also defined as
class

Infoni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Info

Indicates that the associated constraint violation is a not a problem. This level can be used for diagnostic and debugging purposes.
belongs to
Constraint violation levelc

Magic propertiesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#MagicProperties

belongs to
Magic propertyc
has facts
abstractdp "true"^^boolean
is also defined as
annotation property, class

Modulesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Modules

has facts
constructorop ""
is also defined as
class

ruleni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#rule

An inferencing rule attached to a class. Rules are expressed as CONSTRUCT queries or INSERT/DELETE operations where the variable ?this will be bound to the current instance of the class. These inferences can be used to derive new values from existing values at the instance.
belongs to
Rule propertyc
is also defined as
object property

selectni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#select

belongs to
Magic propertyc
is also defined as
class

Select templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#SelectTemplates

belongs to
Select templatec
has facts
abstractdp "true"^^boolean
is also defined as
class

Templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Templates

belongs to
Templatec
has facts
abstractdp "true"^^boolean
is also defined as
class

Update templatesni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#UpdateTemplates

belongs to
Update templatec
has facts
abstractdp "true"^^boolean
is also defined as
class

violates constraintsni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#violatesConstraints

belongs to
Functionc
has facts
return typeop boolean
is also defined as
class

Warningni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#Warning

Indicates that the associated constraint violation is a problem that may not have to be fixed but may lead to issues in the future.
belongs to
Constraint violation levelc

Annotation Properties

abstractap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#abstract

Can be set to true to indicate that this module shall not be instantiated. Abstract modules are only there to organize other modules into hierarchies.
has super-properties
system property
is also defined as
data property

bodyap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#body

The body of a Function or Template. This points to a Query instance. For Functions, this is limited to either ASK or SELECT type queries. If the body is the ASK function then the return value is xsd:boolean. Otherwise, the SELECT query must have a single return variable. The first binding of this SELECT query will be returned as result of the function call.
has super-properties
system property
is also defined as
object property

cachableap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#cachable

Can be set to true to instruct the SPIN engine that it may cache the results of all calls to the associated function. Functions should only be marked as cachable if the same combination of input arguments always returns the same result. Functions that query a graph or other background data that may change over time should not be cached. Caching can significantly improve performance of frequently needed functions.
has super-properties
system property
is also defined as
data property

cachable for ontologiesap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#cachableForOntologies

Can be set to true to instruct the SPIN engine that the outcome of the function does not depend on any instances/indivuduals in the current query graph, but only on the definitions of classes, properties and shapes. Engines may cache the results of all calls to the associated function. Functions should only be marked as cachable if the same combination of input arguments always returns the same result.
has super-properties
system property
is also defined as
data property

columnap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#column

Can link a TableDataProvider (esp. SelectTemplate) with one or more columns that provide metadata for rendering purposes. Columns can be sorted by their spin:columnIndex (which must align with the ordering of variables in the SELECT query starting with 0). Not all result variables of the underlying query need to have a matching spin:Column.
has super-properties
system property
is also defined as
object property

column indexap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#columnIndex

The index of a column (from left to right) starting at 0.
has super-properties
system property
is also defined as
data property

column typeap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#columnType

The datatype or resource type of a spin:Column. For example this is useful as metadata to inform a rendering engine that numeric columns (e.g. xsd:float) need to be right-aligned.
has super-properties
system property
is also defined as
object property

column widthap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#columnWidth

The preferred width of the associated Column, for display purposes. Values in pixels (rendering engines may multiply the values depending on resolution).
has super-properties
system property
is also defined as
data property

constraintap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#constraint

Links a class with constraints on its instances. The values of this property are "axioms" expressed as CONSTRUCT or ASK queries where the variable ?this refers to the instances of the surrounding class. ASK queries must evaluate to false for each member of this class - returning true means that the instance ?this violates the constraint. CONSTRUCT queries must create instances of spin:ConstraintViolation to provide details on the reason for the violation.
has super-properties
query
has domain
classc

fixap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#fix

Can be used to link a ConstraintViolation with one or more UPDATE Templates that would help fix the violation.
has super-properties
system property
is also defined as
object property

importsap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#imports

Can be used to link an RDF graph (usually the instance of owl:Ontology) with a SPIN library to define constraints. SPIN-aware tools should include the definitions from those libraries for constraint checking. Using such libraries is a simpler alternative than explicitly importing them using owl:imports, because it does not force all the SPIN triples into the RDF model.
has super-properties
system property
has domain
ontologyc
has range
ontologyc

inverse bodyap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#inverseBody

The inverse body of a magic property - used to provide a more optimized query if there is one result variable (on the right). The values must be instances of Select and must return SELECT ?arg1 etc. The WHERE clause can access the variable ?object to refer to the provided value on the right hand side of the magic property.
has super-properties
system property
is also defined as
object property

label templateap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#labelTemplate

A template string for displaying instantiations of a module in human-readable form. The template may contain the argument variable names in curly braces to support substitution. For example, "The number of values of the {?arg1} property."
has super-properties
system property
is also defined as
data property

Magic propertiesap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#MagicProperties

An abstract superclass that can be used to group all spin:MagicProperty instances under a single parent class.
has super-properties
system property
is also defined as
class, named individual

next rule propertyap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#nextRuleProperty

Can be used to link two sub-properties of spin:rule (or spin:rule itself) to instruct the SPIN engine to execute one set of rules before another one. The values of the subject property will be executed before those of the object property.
has super-properties
system property
is also defined as
object property

predicateap back to ToC or Annotation Property ToC

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

privateap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#private

Can be set to true to indicate that a SPIN function or template is only meant to be used as a helper of other modules, but not directly. Among others, this allows user interfaces to filter out private modules. Furthermore, it tells potential users of this module that they should avoid using this module, as it may not be stable.
has super-properties
system property
is also defined as
data property

return typeap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#returnType

The return type of a Function, e.g. xsd:string.
has super-properties
system property
is also defined as
object property

rule property max iteration countap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#rulePropertyMaxIterationCount

Can be attached to spin:rule (or subclasses thereof) to instruct a SPIN rules engine that it shall only execute the rules max times. If no value is specified, then the rules will be executed with no specific limit.
has super-properties
system property
is also defined as
data property

symbolap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#symbol

The symbol of a function, e.g. "=" for the eq function.
has super-properties
system property
is also defined as
data property

this unboundap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#thisUnbound

Can be set to true for SPIN rules and constraints that do not require pre-binding the variable ?this with all members of the associated class. This flag should only be set to true if the WHERE clause is sufficiently strong to only bind instances of the associated class, or its subclasses. In those cases, the engine can greatly improve performance of query execution, because it does not need to add clauses to narrow down the WHERE clause.
has super-properties
system property
is also defined as
data property

value typeap back to ToC or Annotation Property ToC

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

violation detailap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#violationDetail

Links a (parent) spin:ConstraintViolation with one or more (child) spin:ConstraintViolations that provide details on the parent violation. This is commonly used in conjunction with spin:constructViolations to indicate that certain violations have triggered the parent violation.
has super-properties
system property
is also defined as
object property

violation levelap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#violationLevel

An optional attribute of ConstraintViolations to point at a violation level (such as Error and Warning). Defaults to spin:Error.
has super-properties
system property
is also defined as
object property

violation pathap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#violationPath

An optional attribute of ConstraintViolations to provide a path expression from the root resource to the value that is invalid. If this is a URI then the path represents the predicate of a subject/predicate combination. Otherwise it should be a blank node of type sp:Path.
has super-properties
system property
is also defined as
object property

violation rootap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#violationRoot

The root resource of the violation (often ?this in the constraint body).
has super-properties
system property
is also defined as
object property

violation sourceap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#violationSource

Can be used to link a spin:ConstraintViolation with the query or template call that caused it. This property is typically filled in automatically by the constraint checking engine and does not need to be set manually. However, it can be useful to learn more about the origin of a violation.
has super-properties
system property
is also defined as
object property

violation valueap back to ToC or Annotation Property ToC

IRI: http://spinrdf.org/spin#violationValue

An optional attribute of ConstraintViolations to point at a specific RDF node that caused the violation. Should be accessible from the root via the violationPath.
has super-properties
system property
has domain
Constraint violationc

Namespace Declarations back to ToC

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

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