diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/Pagoda.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/Pagoda.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/Pagoda.java b/src/uk/ac/ox/cs/pagoda/Pagoda.java index da876b5..ace6851 100644 --- a/src/uk/ac/ox/cs/pagoda/Pagoda.java +++ b/src/uk/ac/ox/cs/pagoda/Pagoda.java | |||
| @@ -158,13 +158,15 @@ public class Pagoda implements Runnable { | |||
| 158 | } | 158 | } |
| 159 | 159 | ||
| 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 | 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 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(queryFile).replaceAll("_", "-")); | 164 | statisticsFilename += "_" + FilenameUtils.removeExtension(FilenameUtils.getName(queryFile).replaceAll("_", "-")); |
| 164 | statisticsFilename += "_" + ((properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.DISABLED) | 165 | statisticsFilename += "_" + ((properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.DISABLED) |
| 165 | ? "" : (properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.BEFORE_SUMMARISATION) | 166 | ? "" : (properties.getSkolemUpperBound() == PagodaProperties.SkolemUpperBoundOptions.BEFORE_SUMMARISATION) |
| 166 | ? "before" : "after"); | 167 | ? "before" : "after"); |
| 167 | statisticsFilename += "_" + properties.getSkolemDepth(); | 168 | statisticsFilename += "_skd" + properties.getSkolemDepth(); |
| 169 | statisticsFilename += "_maxtrpl" + properties.getMaxTriplesInSkolemStore(); | ||
| 168 | statisticsFilename += ".json"; | 170 | statisticsFilename += ".json"; |
| 169 | statisticsFilename = FilenameUtils.concat(properties.getStatisticsDir().toString(), | 171 | statisticsFilename = FilenameUtils.concat(properties.getStatisticsDir().toString(), |
| 170 | statisticsFilename); | 172 | statisticsFilename); |
