From 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 4 Jun 2015 14:37:25 +0100 Subject: Restored fixed SkolemTermsManager (went lost in some revert). --- src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index ed6589a..123bd5e 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java @@ -370,10 +370,10 @@ class MyQueryReasoner extends QueryReasoner { relevantStore.importDataFromABoxOf(relevantSubset); - int queryDependentMaxTermDepth = 10; // TODO make it dynamic + int queryDependentMaxTermDepth = 1; // TODO make it dynamic int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null, queryDependentMaxTermDepth); - queryRecord.addProcessingTime(Step.L_SKOLEM_UPPER_BOUND, t.duration()); + queryRecord.addProcessingTime(Step.SKOLEM_UPPER_BOUND, t.duration()); if(materialisationTag == -1) { throw new Error("A consistent ontology has turned out to be " + "inconsistent in the Skolemises-relevant-upper-store"); @@ -385,7 +385,7 @@ class MyQueryReasoner extends QueryReasoner { boolean isFullyProcessed = queryUpperStore(relevantStore, queryRecord, queryRecord.getExtendedQueryText(), - Step.L_SKOLEM_UPPER_BOUND); + Step.SKOLEM_UPPER_BOUND); Utility.logInfo("Semi-Skolemised relevant upper store has been evaluated"); return isFullyProcessed; } -- cgit v1.2.3