Update list of OWL TBox-focused shapes

Adoption of CASE 1.3.0 happens to address `case-utils` Issue 142,
because UCO Issue 571 deactivated `uco-owl:List-shape`.

This patch considers some of the OWL shapes as applicable in ABox review.

* `uco-owl:distinctMembers-subjects-shape` and
  `uco-owl:members-subjects-shape` can be used in `owl:AllDifferent` to
  specify that some IRIs in the graph truly do not pertain to the same
  individual.
* `uco-owl:rdf-first-subjects-shape` and
  `uco-owl:rdf-rest-subjects-shape` serve as an RDF-wide syntax reviewer
  on `rdf:List`, confirming that lists are specified at least as much as
  they need to be, and also do not fork.

No effects were observed on Make-managed files.

References:
* #142
* ucoProject/UCO#571

Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>

Author: ajnelson-nist

case_utils/case_validate/validate_utils.py

@@ -197,10 +197,18 @@ def disable_tbox_review(graph: rdflib.Graph) -> None:
         "Disjointedness-AP-OP-shape",
         "Disjointedness-C-DT-shape",
         "Disjointedness-DP-OP-shape",
-        "List-shape",
         "ObjectProperty-shacl-constraints-shape",
+        "Sequence-shape",
+        "disjointUnionOf-subjects-shape",
+        "hasKey-subjects-shape",
+        "intersectionOf-subjects-shape",
+        "onProperties-subjects-shape",
+        "oneOf-subjects-shape",
         "ontologyIRI-versionIRI-prerequisite-shape",
+        "propertyChainAxiom-subjects-shape",
+        "unionOf-subjects-shape",
         "versionIRI-nodeKind-shape",
+        "withRestrictions-subjects-shape",
     }:
         n_tbox_shape = ns_uco_owl[tbox_shape_basename]
         graph.add((n_tbox_shape, NS_SH.deactivated, l_true))