/** * Constructor method that builds an instance of the associated Reasoner * @param configuration a set of arbitrary configuration information to be * passed the reasoner encoded within an RDF graph */ @Override public Reasoner create(Resource configuration) { OWLFBRuleReasoner reasoner = new OWLFBRuleReasoner(this); if (configuration != null) { Boolean doLog = Util.checkBinaryPredicate(ReasonerVocabulary.PROPderivationLogging, configuration); if (doLog != null) { reasoner.setDerivationLogging(doLog.booleanValue()); } Boolean doTrace = Util.checkBinaryPredicate(ReasonerVocabulary.PROPtraceOn, configuration); if (doTrace != null) { reasoner.setTraceOn( doTrace ); } } return reasoner; }
/** * Constructor method that builds an instance of the associated Reasoner * @param configuration a set of arbitrary configuration information to be * passed the reasoner encoded within an RDF graph */ @Override public Reasoner create(Resource configuration) { OWLFBRuleReasoner reasoner = new OWLFBRuleReasoner(this); if (configuration != null) { Boolean doLog = Util.checkBinaryPredicate(ReasonerVocabulary.PROPderivationLogging, configuration); if (doLog != null) { reasoner.setDerivationLogging(doLog.booleanValue()); } Boolean doTrace = Util.checkBinaryPredicate(ReasonerVocabulary.PROPtraceOn, configuration); if (doTrace != null) { reasoner.setTraceOn( doTrace ); } } return reasoner; }
/** * Check cost of creating an empty OWL closure. */ public void temp() { Graph data = Factory.createGraphMem(); Graph data2 = Factory.createGraphMem(); Reasoner reasoner = new OWLFBRuleReasoner(OWLFBRuleReasonerFactory.theInstance()); FBRuleInfGraph infgraph = (FBRuleInfGraph)reasoner.bind(data); FBRuleInfGraph infgraph2 = (FBRuleInfGraph)reasoner.bind(data2); long t1 = System.currentTimeMillis(); infgraph.prepare(); long t2 = System.currentTimeMillis(); System.out.println("Prepare on empty graph = " + (t2-t1) +"ms"); t1 = System.currentTimeMillis(); infgraph2.prepare(); t2 = System.currentTimeMillis(); System.out.println("Prepare on empty graph = " + (t2-t1) +"ms"); }
/** * Check cost of creating an empty OWL closure. */ public void temp() { Graph data = Factory.createGraphMem(); Graph data2 = Factory.createGraphMem(); Reasoner reasoner = new OWLFBRuleReasoner(OWLFBRuleReasonerFactory.theInstance()); FBRuleInfGraph infgraph = (FBRuleInfGraph)reasoner.bind(data); FBRuleInfGraph infgraph2 = (FBRuleInfGraph)reasoner.bind(data2); long t1 = System.currentTimeMillis(); infgraph.prepare(); long t2 = System.currentTimeMillis(); System.out.println("Prepare on empty graph = " + (t2-t1) +"ms"); t1 = System.currentTimeMillis(); infgraph2.prepare(); t2 = System.currentTimeMillis(); System.out.println("Prepare on empty graph = " + (t2-t1) +"ms"); }
/** * Precompute the implications of a schema graph. The statements in the graph * will be combined with the data when the final InfGraph is created. */ @Override public Reasoner bindSchema(Graph tbox) throws ReasonerException { checkArgGraph(tbox); if (schemaGraph != null) { throw new ReasonerException("Can only bind one schema at a time to an OWLRuleReasoner"); } FBRuleInfGraph graph = new FBRuleInfGraph(this, rules, getPreload(), tbox); graph.addPreprocessingHook(new OWLRuleTranslationHook()); graph.prepare(); return new OWLFBRuleReasoner(this, graph); }
/** * Precompute the implications of a schema graph. The statements in the graph * will be combined with the data when the final InfGraph is created. */ @Override public Reasoner bindSchema(Graph tbox) throws ReasonerException { checkArgGraph(tbox); if (schemaGraph != null) { throw new ReasonerException("Can only bind one schema at a time to an OWLRuleReasoner"); } FBRuleInfGraph graph = new FBRuleInfGraph(this, rules, getPreload(), tbox); graph.addPreprocessingHook(new OWLRuleTranslationHook()); graph.prepare(); return new OWLFBRuleReasoner(this, graph); }
Model premisesM = FileManager.get().loadModel("file:testing/wg/equivalentClass/premises004.rdf"); Graph data = premisesM.getGraph(); Reasoner reasoner = new OWLFBRuleReasoner(OWLFBRuleReasonerFactory.theInstance()); InfGraph infgraph = reasoner.bind(data); Node rbPrototypeProp = NodeFactory.createURI(ReasonerVocabulary.RBNamespace+"prototype");
Model premisesM = FileManager.get().loadModel("file:testing/wg/equivalentClass/premises004.rdf"); Graph data = premisesM.getGraph(); Reasoner reasoner = new OWLFBRuleReasoner(OWLFBRuleReasonerFactory.theInstance()); InfGraph infgraph = reasoner.bind(data); Node rbPrototypeProp = NodeFactory.createURI(ReasonerVocabulary.RBNamespace+"prototype");