return computeClosure(focusStore, database.isJustify());
@Override final public InferenceEngine getInferenceEngine() { synchronized (this) { if(inferenceEngine == null) { inferenceEngine = new InferenceEngine(this); } } return inferenceEngine; }
return computeClosure(focusStore, database.isJustify());
@Override final public InferenceEngine getInferenceEngine() { synchronized (this) { if(inferenceEngine == null) { inferenceEngine = new InferenceEngine(this); } } return inferenceEngine; }
/** * Computes the closure of the triple store for RDF(S)+ entailments. * <p> * This computes the closure of the database. This can be used if you do * NOT enable truth maintenance and choose instead to load up all of * your data first and then compute the closure of the database. Note * that some rules may be computed by eager closure while others are * computed at query time. * <p> * Note: If there are already entailments in the database AND you have * retracted statements since the last time the closure was computed * then you MUST delete all entailments from the database before * re-computing the closure. * <p> * Note: This method does NOT commit the database. See * {@link AbstractTripleStore#commit()} and {@link #getTripleStore()}. * * @see #removeAllEntailments() */ public synchronized void computeClosure() throws SailException { assertWritableConn(); flushStatementBuffers(true/* assertions */, true/* retractions */); database.getInferenceEngine().computeClosure(null/* focusStore */); }
/** * Computes the closure of the triple store for RDF(S)+ entailments. * <p> * This computes the closure of the database. This can be used if you do * NOT enable truth maintenance and choose instead to load up all of * your data first and then compute the closure of the database. Note * that some rules may be computed by eager closure while others are * computed at query time. * <p> * Note: If there are already entailments in the database AND you have * retracted statements since the last time the closure was computed * then you MUST delete all entailments from the database before * re-computing the closure. * <p> * Note: This method does NOT commit the database. See * {@link AbstractTripleStore#commit()} and {@link #getTripleStore()}. * * @see #removeAllEntailments() */ public synchronized void computeClosure() throws SailException { assertWritableConn(); flushStatementBuffers(true/* assertions */, true/* retractions */); database.getInferenceEngine().computeClosure(null/* focusStore */); }
stats = inferenceEngine.computeClosure(null/* focusStore */);
stats = inferenceEngine.computeClosure(null/* focusStore */);
inferenceEngine.doNotAddFilter, changeLog); final ClosureStats stats = inferenceEngine.computeClosure(tempStore);
inferenceEngine.doNotAddFilter, changeLog); final ClosureStats stats = inferenceEngine.computeClosure(tempStore);
.computeClosure(null/* focusStore */);
.computeClosure(null/* focusStore */);
inf.computeClosure(null/* focusStore */);
inf.computeClosure(null/* focusStore */);
.computeClosure(null/* focusStore */);
db.getInferenceEngine().computeClosure(null/*focusStore*/);
db.getInferenceEngine().computeClosure(null/*focusStore*/);
stats.add( inferenceEngine.computeClosure(focusStore,false/*justify*/) );
stats.add( inferenceEngine.computeClosure(focusStore,false/*justify*/) );
inf.computeClosure(null/* focusStore */);