aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java6
1 files changed, 3 insertions, 3 deletions
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 {
370 370
371 relevantStore.importDataFromABoxOf(relevantSubset); 371 relevantStore.importDataFromABoxOf(relevantSubset);
372 372
373 int queryDependentMaxTermDepth = 10; // TODO make it dynamic 373 int queryDependentMaxTermDepth = 1; // TODO make it dynamic
374 int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null, 374 int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null,
375 queryDependentMaxTermDepth); 375 queryDependentMaxTermDepth);
376 queryRecord.addProcessingTime(Step.L_SKOLEM_UPPER_BOUND, t.duration()); 376 queryRecord.addProcessingTime(Step.SKOLEM_UPPER_BOUND, t.duration());
377 if(materialisationTag == -1) { 377 if(materialisationTag == -1) {
378 throw new Error("A consistent ontology has turned out to be " + 378 throw new Error("A consistent ontology has turned out to be " +
379 "inconsistent in the Skolemises-relevant-upper-store"); 379 "inconsistent in the Skolemises-relevant-upper-store");
@@ -385,7 +385,7 @@ class MyQueryReasoner extends QueryReasoner {
385 385
386 boolean isFullyProcessed = queryUpperStore(relevantStore, queryRecord, 386 boolean isFullyProcessed = queryUpperStore(relevantStore, queryRecord,
387 queryRecord.getExtendedQueryText(), 387 queryRecord.getExtendedQueryText(),
388 Step.L_SKOLEM_UPPER_BOUND); 388 Step.SKOLEM_UPPER_BOUND);
389 Utility.logInfo("Semi-Skolemised relevant upper store has been evaluated"); 389 Utility.logInfo("Semi-Skolemised relevant upper store has been evaluated");
390 return isFullyProcessed; 390 return isFullyProcessed;
391 } 391 }