Use CDO BFO shapes to check usage in instance data

No effects were observed on Make-managed files.

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

.gitmodules

@@ -14,6 +14,10 @@
 	path = dependencies/CASE-unstable-2.0.0
 	url = https://github.com/casework/CASE-Archive.git
 	branch = unstable-2.0.0
+[submodule "dependencies/CDO-Shapes-BFO"]
+	path = dependencies/CDO-Shapes-BFO
+	url = https://github.com/Cyber-Domain-Ontology/CDO-Shapes-BFO.git
+	branch = main
 [submodule "dependencies/CDO-Shapes-Time"]
 	path = dependencies/CDO-Shapes-Time
 	url = https://github.com/Cyber-Domain-Ontology/CDO-Shapes-Time.git

Makefile

@@ -61,6 +61,11 @@ all: \
 	$(MAKE) \
 	  --directory dependencies/CASE-unstable-2.0.0 \
 	  .git_submodule_init.done.log
+	# CDO-Shapes-BFO
+	test -r dependencies/CDO-Shapes-BFO/README.md \
+	  || git submodule update --init dependencies/CDO-Shapes-BFO
+	test -r dependencies/CDO-Shapes-BFO/README.md \
+	  || (echo "ERROR:Makefile:CDO-Shapes-BFO submodule README.md file not found, even though CDO-Shapes-BFO submodule initialized." >&2 ; exit 2)
 	# CDO-Shapes-Time
 	test -r dependencies/CDO-Shapes-Time/README.md \
 	  || git submodule update --init dependencies/CDO-Shapes-Time

examples/illustrations/existence_intervals/postvisit.mk

@@ -18,6 +18,9 @@ SHELL := /bin/bash
 
 top_srcdir := $(shell cd ../../.. ; pwd)
 
+bfo_ttl := $(top_srcdir)/dependencies/CDO-Shapes-BFO/dependencies/BFO.ttl
+sh_bfo_ttl := $(top_srcdir)/dependencies/CDO-Shapes-BFO/shapes/sh-bfo.ttl
+
 gufo_ttl := $(top_srcdir)/dependencies/CDO-Shapes-gufo/dependencies/gufo.ttl
 sh_gufo_ttl := $(top_srcdir)/dependencies/CDO-Shapes-gufo/shapes/sh-gufo.ttl
 
@@ -27,15 +30,19 @@ sh_time_ttl := $(top_srcdir)/dependencies/CDO-Shapes-Time/shapes/sh-time.ttl
 all:
 
 .cdo-shapes.done.log: \
+  $(bfo_ttl) \
   $(gufo_ttl) \
+  $(sh_bfo_ttl) \
   $(sh_gufo_ttl) \
   $(sh_time_ttl) \
   $(time_ttl) \
   $(top_srcdir)/.venv.done.log \
   existence_intervals.json
 	source $(top_srcdir)/venv/bin/activate \
 	  && case_validate \
+	    --ontology-graph $(bfo_ttl) \
 	    --ontology-graph $(gufo_ttl) \
+	    --ontology-graph $(sh_bfo_ttl) \
 	    --ontology-graph $(sh_gufo_ttl) \
 	    --ontology-graph $(sh_time_ttl) \
 	    --ontology-graph $(time_ttl) \