diff --git a/ontology/Makefile b/ontology/Makefile
index e32ceee..04f36ce 100644
--- 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/requirements.txt b/requirements.txt
index a0977d3..8dbe18b 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,3 +1,3 @@
-case-prov >= 0.8.0, < 0.9.0
+case-prov >= 0.9.0, < 0.10.0
 mypy
 pyshacl != 0.22.0
diff --git a/shapes/Makefile b/shapes/Makefile
index f636e31..5970d83 100644
--- 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 _$@ $@