From 4fe4ca32d8f45807ab881b6fb8e814842dad0ec6 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Mon, 11 May 2015 18:00:57 +0100 Subject: Adding (not completed) a new upper bound technique, namely Limited Skolemisation. --- src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 4465764..7999daa 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java @@ -44,7 +44,7 @@ public class MyQueryReasoner extends QueryReasoner { boolean equalityTag; boolean multiStageTag; - + public MyQueryReasoner() { setup(true, true); } @@ -210,14 +210,14 @@ public class MyQueryReasoner extends QueryReasoner { queryUpperBound(upperStore, queryRecord, queryRecord.getQueryText(), queryRecord.getAnswerVariables()); // TODO log correct partial answers - Utility.logDebug(toJson("upperBound1", queryRecord)); +// Utility.logDebug(toJson("upperBound1", queryRecord)); if (!queryRecord.processed() && !queryRecord.getQueryText().equals(extendedQuery[0])) { queryUpperBound(upperStore, queryRecord, extendedQuery[0], queryRecord.getAnswerVariables()); - Utility.logDebug(toJson("upperBound2", queryRecord)); +// Utility.logDebug(toJson("upperBound2", queryRecord)); } if (!queryRecord.processed() && queryRecord.hasNonAnsDistinguishedVariables()) { queryUpperBound(upperStore, queryRecord, extendedQuery[1], queryRecord.getDistinguishedVariables()); - Utility.logDebug(toJson("upperBound3", queryRecord)); +// Utility.logDebug(toJson("upperBound3", queryRecord)); } queryRecord.addProcessingTime(Step.UpperBound, t.duration()); -- cgit v1.2.3