Shacl validation for properties of type `rdfs:ContainerMembershipProperty`

[smokkapa]

I am currently trying to build a constraint validation shape for an incoming object of the type rdf:Seq. In, rdf:Seq the predicate is a variable, as it can be rdf:_1, rdf:_2,...., where the numbers indicate the ordinality of the object in the list . How can I build a property shape to validate the data coming in rdf:Seq?

Appreciate any help. Thanks!

Let's say for a given incoming data

...
<incoming node> schema:colors _:blankNode1 .
_:blankNode1 rdf:type rdf:Seq .
_:blankNode1 rdf:_1 "Red" .
_:blankNode1 rdf:_2 "Blue" .
_:blankNode1 rdf:_3 "Yellow" .
...

What could the shape be? Can something like the following is possible?

...
sh: property [
   sh:path schema:colors ;
   sh:class rdf:Seq ;
   sh:property [ 
       sh:path  <rdf:_1, rdf:_2, .....rdf:_n>;
       sh:in ("Red" "Blue" "Green" ) ;
   ] ;
 ] ;
...

[HolgerKnublauch]

Given that there can be an infinite number of properties, you cannot use a path expression such as rdf:_1 | rdf:_2 | ...

So I guess your best bet would be SHACL-SPARQL, where you can treat the predicate as an unbound variable.

[smokkapa]

I see. Will try it out. Thanks!

[afs]

If the base system supports rdfs:member, which is the super-property of all rdf:_N, then that might provide a solution.

[HolgerKnublauch]

In preparation for a potential future SHACL WG I would like to close GitHub issues that were mainly just questions. Please reopen if you disagree.