From c0f5bdcdb29608532656c71c219680eccd4aad09 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 22:45:35 +0100 Subject: fixed some bugs in windows server --- src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager2.java | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager2.java') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager2.java b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager2.java index 67dc4fc..9c335f3 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager2.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager2.java @@ -3,6 +3,7 @@ package uk.ac.ox.cs.pagoda.reasoner; import org.semanticweb.owlapi.model.OWLOntologyCreationException; import org.semanticweb.owlapi.model.OWLOntologyManager; +import uk.ac.ox.cs.pagoda.query.AnswerTuples; import uk.ac.ox.cs.pagoda.query.QueryRecord; import uk.ac.ox.cs.pagoda.reasoner.full.Checker; import uk.ac.ox.cs.pagoda.summary.HermitSummaryFilter; @@ -32,8 +33,15 @@ public class ConsistencyManager2 extends ConsistencyManager { // if (!checkRLLowerBound()) return false; // if (!checkELLowerBound()) return false; if (checkLazyUpper()) return true; + AnswerTuples iter = null; + + try { + iter = m_reasoner.trackingStore.evaluate(fullQueryRecord.getQueryText(), fullQueryRecord.getAnswerVariables()); + fullQueryRecord.updateUpperBoundAnswers(iter); + } finally { + if (iter != null) iter.dispose(); + } - fullQueryRecord.updateUpperBoundAnswers(m_reasoner.trackingStore.evaluate(fullQueryRecord.getQueryText(), fullQueryRecord.getAnswerVariables())); if (fullQueryRecord.getNoOfCompleteAnswers() == 0) return satisfiability(t.duration()); @@ -43,7 +51,7 @@ public class ConsistencyManager2 extends ConsistencyManager { e.printStackTrace(); } - Checker checker = new HermitSummaryFilter(fullQueryRecord); // m_reasoner.factory.getSummarisedReasoner(fullQueryRecord); + Checker checker = new HermitSummaryFilter(fullQueryRecord, true); // m_reasoner.factory.getSummarisedReasoner(fullQueryRecord); // fullQueryRecord.saveRelevantOntology("fragment_bottom.owl"); boolean satisfiable = checker.isConsistent(); checker.dispose(); -- cgit v1.2.3