0.1.0
A collection of SPIN constraints to detect quality issues on models based on the schema.org classes and properties.
Currency property
The type of properties that take currencies as their values.
-90
90
-180
180
Undefined currency
is email address
The email address to validate.
\b[A-Z0-9._%+-]+@[A-Z0-9.-]+\.[A-Z]{2,4}\b
i
Checks whether a given string (?arg1) represents a valid email address, according to a regular expression.
msg
msg
message
value
currency
s
of
" does not follow ISO 4217 format at property
Unknown currency abbreviation "
message
op
o
Numeric range check
The minimum value.
The property to validate the values of.
The maximum value.
{?arg1} must be between {?arg2} and {?arg3}
value
must be between
and
but found
type
domain
0
-2
union
range
someType
email
s
p
for property
does not match range
Property range mismatch: value
p
child
o
1
-2
message
for property
Property range mismatch: invalid value
childBirthDate
parentBirthDate
Child
cannot be have a birth date after the birth date of
Children relationship cannot contain cycles
Invalid email address
message
laterDate
union
op
0
-2
earlierDate
Children cannot contain cycles
Children cannot contain cycles
-2
1
Invalid email address
Invalid email address
message
cannot be used for
Property domain mismatch: property
Checks the values of all objects of ?this and verifies that the predicates have a matching domain for this.
Property domain check
Irreflexive property violation
message
relationship with itself
cannot be in a
(
(
) must be after
) at
The property holding the later date (e.g. deathDate)
Children must be born after the parent
Children must be born after the parent
Children must be born after the parent
Unknown currency
Unknown currency
The property holding the earlier date (e.g. birthDate).
Irreflexive property violation
Irreflexive property violation
{?arg2} must be after {?arg1}
Compares the values of two date properties, and checks whether the earlier date is before the later date.
Checks the values of all objects of ?this and verifies that the objects match the declared range of the predicate. This is violated if the object is not an instance of the range class, unless the object is untyped URI node.
Property range check