http://topbraid.org/spin/spinowl#HasValueConstraint
Class 'spinowl:Has value 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:hasValue ?hasValue http://www.fadyart.com/parties#.
?restriction owl:onProperty ?property http://www.fadyart.com/parties#.
?restriction a owl:Restriction http://www.fadyart.com/parties#.
FILTER (!spl:hasValue(?this, ?property, ?hasValue)) http://www.fadyart.com/parties#.
LET (?label http://www.fadyart.com/parties#= smf:buildString("Instances of {?type} must have {?hasValue} for {?property}")) http://www.fadyart.com/parties#.
}
spin:label template
HasValue constraint
rdf:type
spin:Template
rdfs:comment
Verifies that the values specified by owl:hasValue are present.
rdfs:label
Has value constraint
rdfs:subClassOf
spin:Templates

Generated with TopBraid Composer by TopQuadrant, Inc.