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