From 053631bf52fea593be6b0f7243f58b5abedcf5c9 Mon Sep 17 00:00:00 2001 From: Sam Thursfield Date: Wed, 8 Jul 2015 18:03:57 +0100 Subject: 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 --- schema/validate-jena/ValidateTool.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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); -- cgit v1.2.1