
|
|
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#. } |
|
| rdfs:range constraint |
|
| Checks whether all property values of ?this have a type compatible with the declared rdfs:ranges on the property. |
|
| Range constraint |
Generated with TopBraid Composer by TopQuadrant, Inc.