http://topbraid.org/spin/spinowl#SomeValuesFromConstraint
Class 'spinowl:Some 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:someValuesFrom ?someValuesFrom 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:hasValueOfType(?this, ?property, ?someValuesFrom)) http://www.fadyart.com/parties#.
LET (?label http://www.fadyart.com/parties#= smf:buildString("Instances of {?type} must have at least one value of type {?someValuesFrom} for {?property}")) http://www.fadyart.com/parties#.
}
spin:label template
SomeValuesFrom constraint
rdf:type
spin:Template
rdfs:comment
Checks whether the value types mentioned in owl:someValuesFrom restrictions are present.
rdfs:label
Some values from constraint
rdfs:subClassOf
spin:Templates

Generated with TopBraid Composer by TopQuadrant, Inc.