aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
diff options
context:
space:
mode:
authoryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-04-29 18:57:39 +0100
committeryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-04-29 18:57:39 +0100
commit68ae342b2a4923bc7b3f378c6a489f2355d85279 (patch)
tree3a5983964de88ed8aa6c5f3aa56db8ac0b02cfa3 /src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
parent6c5d9406d0c9b9dc96bb9599c152256fc9807940 (diff)
downloadACQuA-68ae342b2a4923bc7b3f378c6a489f2355d85279.tar.gz
ACQuA-68ae342b2a4923bc7b3f378c6a489f2355d85279.zip
added top answers optimisation back
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
index 63fe246..9b862ce 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
@@ -23,6 +23,7 @@ import uk.ac.ox.cs.pagoda.util.Timer;
23import uk.ac.ox.cs.pagoda.util.Utility; 23import uk.ac.ox.cs.pagoda.util.Utility;
24import uk.ac.ox.cs.JRDFox.JRDFStoreException; 24import uk.ac.ox.cs.JRDFox.JRDFStoreException;
25import uk.ac.ox.cs.JRDFox.store.DataStore; 25import uk.ac.ox.cs.JRDFox.store.DataStore;
26import uk.ac.ox.cs.JRDFox.store.DataStore.UpdateType;
26 27
27public class ConsistencyManager { 28public class ConsistencyManager {
28 29
@@ -218,7 +219,7 @@ public class ConsistencyManager {
218 Timer t1 = new Timer(); 219 Timer t1 = new Timer();
219 oldTripleCount = store.getTriplesCount(); 220 oldTripleCount = store.getTriplesCount();
220 for (String program: programs) 221 for (String program: programs)
221 store.importRules(program); 222 store.importRules(program, UpdateType.ScheduleForAddition);
222 store.applyReasoning(true); 223 store.applyReasoning(true);
223 tripleCount = store.getTriplesCount(); 224 tripleCount = store.getTriplesCount();
224 225