PREFIX ex:       <http://example/>

PREFIX rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
PREFIX rdfs:    <http://www.w3.org/2000/01/rdf-schema#>

PREFIX sh:      <http://www.w3.org/ns/shacl#>
PREFIX xsd:     <http://www.w3.org/2001/XMLSchema#>

PREFIX sht:     <http://www.w3.org/ns/shacl-test#>
PREFIX mf:      <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#>

ex:A rdf:type rdfs:Class .

ex:B #rdf:type rdfs:Class ;
     rdfs:subClassOf ex:A .
     
ex:x rdf:type ex:B .

ex:ShapeDef
    rdf:type sh:NodeShape ;
    sh:targetClass ex:A;
    sh:property [
        sh:path rdfs:label ;
        sh:minCount 1 ;
    ] .

<>
  rdf:type mf:Manifest ;
  mf:entries ( <target-class-subclass-1> )
  .

<target-class-subclass-1>
  rdf:type sht:Validate ;
  rdfs:label "Instance of implicit class target and subclass test" ;
  mf:action [
      sht:dataGraph <> ;
      sht:shapesGraph <> ;
    ] ;
  mf:result [
      rdf:type     sh:ValidationReport ;
      sh:conforms  false ;
      sh:result [
          rdf:type           sh:ValidationResult ;
          sh:focusNode       ex:x ;
          sh:resultMessage              "minCount[1]: Invalid cardinality: expected min 1: Got count = 0" ;
          sh:resultPath                 rdfs:label ;
          sh:resultSeverity             sh:Violation ;
          sh:sourceConstraintComponent  sh:MinCountConstraintComponent ;
          sh:sourceShape                [] 
      ]
    ] .