http://topbraid.org/spin/spinrdfs#RangeConstraint
Class 'spinrdfs:Range constraint'


spin:body
CONSTRUCT {
http://www.fadyart.com/parties#_:b0 a spin:Constraint violation http://www.fadyart.com/parties#.
http://www.fadyart.com/parties#_:b0 rdfs:label ?label http://www.fadyart.com/parties#.
http://www.fadyart.com/parties#_:b0 spin:violation root ?this http://www.fadyart.com/parties#.
http://www.fadyart.com/parties#_:b0 spin:violation path ?property http://www.fadyart.com/parties#.
}
WHERE {
FILTER (isURI(?this) && (!spinrdfs:is system(?this))) http://www.fadyart.com/parties#.
?this ?property ?value http://www.fadyart.com/parties#.
FILTER isURI(?value) http://www.fadyart.com/parties#.
?property rdfs:subPropertyOf* ?p http://www.fadyart.com/parties#.
?p rdfs:range ?range http://www.fadyart.com/parties#.
FILTER (?range != rdfs:Literal) http://www.fadyart.com/parties#.
FILTER (!spl:instanceOf(?value, ?range)) http://www.fadyart.com/parties#.
LET (?label http://www.fadyart.com/parties#= smf:buildString("Range http://www.fadyart.com/parties#violation: {?range} expected for {?value} at {?property}")) http://www.fadyart.com/parties#.
}
spin:label template
rdfs:range constraint
rdf:type
spin:Template
rdfs:comment
Checks whether all property values of ?this have a type compatible with the declared rdfs:ranges on the property.
rdfs:label
Range constraint
rdfs:subClassOf
spin:Templates

Generated with TopBraid Composer by TopQuadrant, Inc.