schema: Fix Jena validation tool

The owlReasoner runs out of memory before completing, now that I added
owl:disjointWith rules to the ontology. The owlMicroReasoner succeeds,
though, so let's use that one.

Change-Id: I264fb762ce6675ac0fbc5eb59a8dd801f680b520

1 files changed, 6 insertions, 1 deletions

diff --git a/schema/validate-jena/ValidateTool.java b/schema/validate-jena/ValidateTool.java
index 274cf632..4fe2b5bd 100644
--- a/schema/validate-jena/ValidateTool.java
+++ b/schema/validate-jena/ValidateTool.java
@@ -24,7 +24,12 @@ public class ValidateTool {
         Model schema = FileManager.get().loadModel(
                 "../baserock-example.schema", null, "Turtle");
 
-        Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
+        /* The OWLMicroReasoner is much faster than the OWLReasoner, but less
+         * thorough.
+         *
+         * See: https://jena.apache.org/documentation/inference/index.html#owl */
+        //Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
+        Reasoner reasoner = ReasonerRegistry.getOWLMicroReasoner();
         reasoner = reasoner.bindSchema(schema.getGraph());
 
         InfModel infmodel = ModelFactory.createInfModel(reasoner, data);