question on sh:NodeConstraint

The SHACL spec says that a sh:class constraint can appear in the context of a sh:NodeConstraint.
(see http://w3c.github.io/data-shapes/shacl/#ClassConstraintComponent and the table in Sect. 4 http://w3c.github.io/data-shapes/shacl/#constraints).

Does this mean that the following is a valid SHACL constraint ?

ex:ExampleShape
  a sh:Shape ;
  sh:scopeNode ex:Bob, ex:Alice, ex:Carol ;
  sh:constraint [
    sh:class ex:Person ;
  ] .

If yes, what is the semantics of this constraint ?

Here is how the semantics of sh:class is defined as a SPARQL query:

SELECT $this ($this AS ?subject) $predicate (?value AS ?object)
WHERE {
 $this $predicate ?value .
 FILTER NOT EXISTS { ?value rdf:type/rdfs:subClassOf* $class } .
}

What would be the value of the $predicate variable in this SPARQL query for the above SHACL constraint ?

Thanks for your help.

Iovka

Received on Friday, 1 July 2016 15:50:18 UTC