It executes. Matching bounds for query 18 of UOBM.

It is not stable: several critical fixes to do!

1 files changed, 3 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
index d179d14..b7a3667 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
@@ -73,6 +73,9 @@ public class ConsistencyManager {
                         AnswerTuples tuples = null; 
                         try {
                                 tuples = m_reasoner.lazyUpperStore.evaluate(fullQueryRecord.getQueryText(), fullQueryRecord.getAnswerVariables());
+
+                                Utility.logDebug("CheckLazyUpperBound: answerVars=" + fullQueryRecord.getAnswerVariables());
+
                                 if (!tuples.isValid()) {
                                         Utility.logInfo("There are no contradictions derived in the lazy upper bound materialisation."); 
                                         return satisfiability(t.duration());