diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-07-08 18:03:57 +0100 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-07-08 18:03:57 +0100 |
commit | 053631bf52fea593be6b0f7243f58b5abedcf5c9 (patch) | |
tree | a0e9b6233dd59ab56edf0fce7c9edca81992c723 | |
parent | 657808100812162d6ea741920cc279e2993339ed (diff) | |
download | definitions-053631bf52fea593be6b0f7243f58b5abedcf5c9.tar.gz |
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
-rw-r--r-- | schema/validate-jena/ValidateTool.java | 7 |
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); |