diff options
| -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); |