Example rule to infer skos:member for skos:OrderedCollection

data.ttl

@base <https://example.com/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.

<collection1> a skos:OrderedCollection ;
  skos:memberList ( <member1> <member2> <member3> ) .

OrderedCollectionRulesShape.ttl

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix sh: <http://www.w3.org/ns/shacl#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.

[] a sh:NodeShape ;
  sh:targetClass skos:OrderedCollection ;
  sh:rule [
    a sh:TripleRule ;
    sh:subject sh:this ;
    sh:predicate skos:member ;
    sh:object [
      # SPARQL Property path: skos:memberList/rdf:rest*/rdf:first
      sh:path ( skos:memberList [ sh:zeroOrMorePath rdf:rest ] rdf:first )
    ]
  ] .