diff options
Diffstat (limited to 'src/uk/ac')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/Pagoda.java | 3 | ||||
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/Pagoda.java b/src/uk/ac/ox/cs/pagoda/Pagoda.java index ace6851..6a1946e 100644 --- a/src/uk/ac/ox/cs/pagoda/Pagoda.java +++ b/src/uk/ac/ox/cs/pagoda/Pagoda.java | |||
| @@ -160,7 +160,8 @@ public class Pagoda implements Runnable { | |||
| 160 | private String getStatisticsFilename(PagodaProperties properties, String queryFile) { | 160 | private String getStatisticsFilename(PagodaProperties properties, String queryFile) { |
| 161 | String statisticsFilename = "statistics"; | 161 | String statisticsFilename = "statistics"; |
| 162 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(properties.getOntologyPath().replaceAll("_", "-"))); | 162 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(properties.getOntologyPath().replaceAll("_", "-"))); |
| 163 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(properties.getDataPath().replaceAll("_", "-"))); | 163 | if(properties.getDataPath() != null) |
| 164 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(properties.getDataPath().replaceAll("_", "-"))); | ||
| 164 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(queryFile).replaceAll("_", "-")); | 165 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(queryFile).replaceAll("_", "-")); |
| 165 | statisticsFilename += "_" + ((properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.DISABLED) | 166 | statisticsFilename += "_" + ((properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.DISABLED) |
| 166 | ? "" : (properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.BEFORE_SUMMARISATION) | 167 | ? "" : (properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.BEFORE_SUMMARISATION) |
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 8cc9209..ae57670 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | |||
| @@ -74,7 +74,7 @@ class MyQueryReasoner extends QueryReasoner { | |||
| 74 | program = new DatalogProgram(ontology); | 74 | program = new DatalogProgram(ontology); |
| 75 | // program.getLower().save(); | 75 | // program.getLower().save(); |
| 76 | // program.getUpper().save(); | 76 | // program.getUpper().save(); |
| 77 | program.getGeneral().save(); | 77 | // program.getGeneral().save(); |
| 78 | 78 | ||
| 79 | if(!program.getGeneral().isHorn()) | 79 | if(!program.getGeneral().isHorn()) |
| 80 | lazyUpperStore = new MultiStageQueryEngine("lazy-upper-bound", true); | 80 | lazyUpperStore = new MultiStageQueryEngine("lazy-upper-bound", true); |
