Enable TBox review once

Signed-off-by: Alex Nelson <[email protected]>
casework · Aug 30, 2023 · 79208ea · 79208ea
1 parent 0f8462c
commit 79208ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/ontology/Makefile b/ontology/Makefile
@@ -87,6 +87,7 @@ uco_owl_review.ttl: \
 	    --metashacl \
 	    --ontology-graph $(top_srcdir)/dependencies/dependencies.ttl \
 	    --ontology-graph case-corpora.ttl \
+	    --review-tbox \
 	    $(top_srcdir)/dependencies/CASE/dependencies/UCO/tests/thing.ttl \
 	    > _$@
 	mv _$@ $@
diff --git a/shapes/Makefile b/shapes/Makefile
@@ -115,6 +115,7 @@ uco_owl_review.ttl: \
 	    --ontology-graph $(top_srcdir)/ontology/case-corpora.ttl \
 	    --ontology-graph local.ttl \
 	    --ontology-graph shapes.ttl \
+	    --review-tbox \
 	    $(top_srcdir)/dependencies/CASE/dependencies/UCO/tests/thing.ttl \
 	    > _$@
 	mv _$@ $@