Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).

1 files changed, 1 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 b4a1775..453b5ca 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
@@ -128,7 +128,7 @@ public class ConsistencyManager extends Disposable {
                         store.applyReasoning(true);
                         tripleCount = store.getTriplesCount();
 
-                        Utility.logInfo("tracking store after materialising tracking program: " + tripleCount + " (" + (tripleCount - oldTripleCount) + " new)",
+                        Utility.logDebug("tracking store after materialising tracking program: " + tripleCount + " (" + (tripleCount - oldTripleCount) + " new)",
                                                         "tracking store finished the materialisation of tracking program in " + t1.duration() + " seconds.");
 
                         extractAxioms();