Add SHACL shapes to set of CDO concepts

This patch adds a test to reproduce the discovery of Issue 85.

A follow-on patch will regenerate Make-managed files.

References:
* #85

Signed-off-by: Alex Nelson <[email protected]>

Author: ajnelson-nist

case_utils/case_validate/__init__.py

@@ -51,6 +51,7 @@
 NS_OWL = rdflib.OWL
 NS_RDF = rdflib.RDF
 NS_RDFS = rdflib.RDFS
+NS_SH = rdflib.SH
 
 _logger = logging.getLogger(os.path.basename(__file__))
 
@@ -189,6 +190,9 @@ def main() -> None:
         NS_OWL.DatatypeProperty,
         NS_OWL.ObjectProperty,
         NS_RDFS.Datatype,
+        NS_SH.NodeShape,
+        NS_SH.PropertyShape,
+        NS_SH.Shape,
     ]:
         for ontology_triple in ontology_graph.triples(
             (None, NS_RDF.type, n_structural_class)

tests/case_utils/case_validate/Makefile

@@ -27,14 +27,17 @@ tests_srcdir := $(top_srcdir)/tests
 all: \
   all-cli \
   all-case_test_examples \
-  all-uco_test_examples
+  all-uco_test_examples \
+  all-shape_disabling
 
 .PHONY: \
   all-case_test_examples \
   all-cli \
+  all-shape_disabling \
   all-uco_test_examples \
   check-case_test_examples \
   check-cli \
+  check-shape_disabling \
   check-uco_test_examples
 
 all-case_test_examples:
@@ -45,14 +48,19 @@ all-cli:
 	$(MAKE) \
 	  --directory cli
 
+all-shape_disabling:
+	$(MAKE) \
+	  --directory shape_disabling
+
 all-uco_test_examples:
 	$(MAKE) \
 	  --directory uco_test_examples
 
 check: \
   check-cli \
   check-case_test_examples \
-  check-uco_test_examples
+  check-uco_test_examples \
+  check-shape_disabling
 
 check-case_test_examples:
 	$(MAKE) \
@@ -64,13 +72,21 @@ check-cli:
 	  --directory cli \
 	  check
 
+check-shape_disabling:
+	$(MAKE) \
+	  --directory shape_disabling \
+	  check
+
 check-uco_test_examples: \
   uco_monolithic.ttl
 	$(MAKE) \
 	  --directory uco_test_examples \
 	  check
 
 clean:
+	@$(MAKE) \
+	  --directory shape_disabling \
+	  clean
 	@$(MAKE) \
 	  --directory case_test_examples \
 	  clean

tests/case_utils/case_validate/shape_disabling/Makefile

@@ -0,0 +1,52 @@
+#!/usr/bin/make -f
+
+# This software was developed at the National Institute of Standards
+# and Technology by employees of the Federal Government in the course
+# of their official duties. Pursuant to title 17 Section 105 of the
+# United States Code this software is not subject to copyright
+# protection and is in the public domain. NIST assumes no
+# responsibility whatsoever for its use by other parties, and makes
+# no guarantees, expressed or implied, about its quality,
+# reliability, or any other characteristic.
+#
+# We would appreciate acknowledgement if the software is used.
+
+SHELL := /bin/bash
+
+top_srcdir := $(shell cd ../../../.. ; pwd)
+
+tests_srcdir := $(top_srcdir)/tests
+
+all: \
+  validation_with_uuid_shape_disabled.txt \
+  validation_with_uuid_shape_enabled.txt
+
+check: \
+  validation_with_uuid_shape_disabled.txt \
+  validation_with_uuid_shape_enabled.txt
+
+clean:
+	@rm -f \
+	  *.txt \
+	  _*
+
+validation_with_uuid_shape_disabled.txt: \
+  $(tests_srcdir)/.venv.done.log \
+  disable_shape.ttl \
+  example.ttl
+	source $(tests_srcdir)/venv/bin/activate \
+	  && case_validate \
+	    --ontology disable_shape.ttl \
+	    example.ttl \
+	    > _$@
+	mv _$@ $@
+
+validation_with_uuid_shape_enabled.txt: \
+  $(tests_srcdir)/.venv.done.log \
+  example.ttl
+	source $(tests_srcdir)/venv/bin/activate \
+	  && case_validate \
+	    --allow-infos \
+	    example.ttl \
+	    > _$@
+	mv _$@ $@

tests/case_utils/case_validate/shape_disabling/disable_shape.ttl

@@ -0,0 +1,11 @@
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@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 uco-core: <https://ontology.unifiedcyberontology.org/uco/core/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+uco-core:UcoThing-identifier-regex-shape
+	sh:deactivated "true"^^xsd:boolean ;
+	.
+

tests/case_utils/case_validate/shape_disabling/example.ttl

@@ -0,0 +1,11 @@
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix uco-core: <https://ontology.unifiedcyberontology.org/uco/core/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<urn:example:thing-1>
+	a uco-core:UcoThing ;
+	rdfs:comment "This node's IRI is designed to trigger a UUID review shape."@en ;
+	.
+