diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java | 2 |
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 { | |||
| 128 | store.applyReasoning(true); | 128 | store.applyReasoning(true); |
| 129 | tripleCount = store.getTriplesCount(); | 129 | tripleCount = store.getTriplesCount(); |
| 130 | 130 | ||
| 131 | Utility.logInfo("tracking store after materialising tracking program: " + tripleCount + " (" + (tripleCount - oldTripleCount) + " new)", | 131 | Utility.logDebug("tracking store after materialising tracking program: " + tripleCount + " (" + (tripleCount - oldTripleCount) + " new)", |
| 132 | "tracking store finished the materialisation of tracking program in " + t1.duration() + " seconds."); | 132 | "tracking store finished the materialisation of tracking program in " + t1.duration() + " seconds."); |
| 133 | 133 | ||
| 134 | extractAxioms(); | 134 | extractAxioms(); |
