diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 18:27:28 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 18:27:28 +0100 |
| commit | b0148d89a76b8fcbeb2e021442842e4e89690ef3 (patch) | |
| tree | 5fa660dabd4b009c114c522fffd9aaed39a9adde /src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | |
| parent | 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 (diff) | |
| download | ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.tar.gz ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.zip | |
Fixed terms' depth count in SkolemTermsManager (it was always zero).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 123bd5e..727f80d 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | |||
| @@ -190,7 +190,7 @@ class MyQueryReasoner extends QueryReasoner { | |||
| 190 | return; | 190 | return; |
| 191 | 191 | ||
| 192 | OWLOntology relevantOntologySubset = extractRelevantOntologySubset(queryRecord); | 192 | OWLOntology relevantOntologySubset = extractRelevantOntologySubset(queryRecord); |
| 193 | queryRecord.saveRelevantOntology("/home/alessandro/Desktop/fragment_query" + queryRecord.getQueryID() + ".owl"); | 193 | // queryRecord.saveRelevantOntology("./fragment_query" + queryRecord.getQueryID() + ".owl"); |
| 194 | 194 | ||
| 195 | if(PagodaProperties.getDefaultUseSkolemUpperBound() && | 195 | if(PagodaProperties.getDefaultUseSkolemUpperBound() && |
| 196 | querySkolemisedRelevantSubset(relevantOntologySubset, queryRecord)) | 196 | querySkolemisedRelevantSubset(relevantOntologySubset, queryRecord)) |