diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 6 |
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 | } |
