Deactivate List shape when TBox review is not requested

No effects were observed on Make-managed files. References: * #142 Signed-off-by: Alex Nelson <[email protected]>
casework · Dec 13, 2023 · 4f818d8 · 4f818d8
1 parent 016ac37
commit 4f818d8
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 0 deletions.
diff --git a/case_utils/case_validate/validate_utils.py b/case_utils/case_validate/validate_utils.py
@@ -197,6 +197,7 @@ 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",
         "ontologyIRI-versionIRI-prerequisite-shape",
         "versionIRI-nodeKind-shape",

diff --git a/tests/case_utils/case_validate/uco_test_examples/Makefile b/tests/case_utils/case_validate/uco_test_examples/Makefile
@@ -102,6 +102,37 @@ all: \
 	rm __$@
 	mv _$@ $@
 
+# NOTE - this more-specific recipe enables "tbox" review, but otherwise
+# matches the wildcarded recipe.
+rdf_list_XFAIL_validation.ttl: \
+  $(examples_srcdir)/rdf_list_XFAIL.json \
+  $(tests_srcdir)/.venv.done.log \
+  $(top_srcdir)/.ontology.done.log \
+  $(top_srcdir)/case_utils/case_validate/__init__.py \
+  $(top_srcdir)/case_utils/case_validate/validate_types.py \
+  $(top_srcdir)/case_utils/case_validate/validate_utils.py \
+  $(top_srcdir)/case_utils/ontology/__init__.py
+	source $(tests_srcdir)/venv/bin/activate \
+	  && case_validate \
+	    --allow-warnings \
+	    --debug \
+	    --format turtle \
+	    --review-tbox \
+	    $< \
+	    > __$@ \
+	    ; rc=$$? ; test 0 -eq $$rc -o 1 -eq $$rc
+	@#Fail if output is empty.
+	@test -s __$@ \
+	  || exit 1
+	java -jar $(RDF_TOOLKIT_JAR) \
+	  --inline-blank-nodes \
+	  --source __$@ \
+	  --source-format turtle \
+	  --target _$@ \
+	  --target-format turtle
+	rm __$@
+	mv _$@ $@
+
 # NOTE - this more-specific recipe enables "tbox" review, but otherwise
 # matches the wildcarded recipe.
 owl_properties_XFAIL_validation.ttl: \