http://topbraid.org/spin/spinowl#AllValuesFromConstraint
Class 'spinowl:All values from 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) http://www.fadyart.com/parties#.
?this a ?type http://www.fadyart.com/parties#.
?type rdfs:subClassOf* ?restriction http://www.fadyart.com/parties#.
?restriction owl:allValuesFrom ?range http://www.fadyart.com/parties#.
?restriction owl:onProperty ?property http://www.fadyart.com/parties#.
?restriction a owl:Restriction http://www.fadyart.com/parties#.
?p rdfs:subPropertyOf* ?property http://www.fadyart.com/parties#.
?this ?p ?value http://www.fadyart.com/parties#.
FILTER isURI(?value) http://www.fadyart.com/parties#.
FILTER (!spl:instanceOf(?value, ?range)) http://www.fadyart.com/parties#.
LET (?label http://www.fadyart.com/parties#= smf:buildString("All values from {?property} must be {?range} violated by {?value}")) http://www.fadyart.com/parties#.
}
spin:label template
AllValuesFrom constraint
rdf:type
spin:Template
rdfs:comment
Checks for any owl:allValuesFrom restrictions and makes sure that all values of that property (or its sub-properties) at ?this have matching range.
rdfs:label
All values from constraint
rdfs:subClassOf
spin:Templates

Generated with TopBraid Composer by TopQuadrant, Inc.