aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/Pagoda.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/Pagoda.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/Pagoda.java8
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);