Small changes.

3 files changed, 11 insertions, 7 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java b/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java
index 38fa494..01ab427 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java
@@ -1,13 +1,14 @@
 package uk.ac.ox.cs.pagoda.rules;
 
-import java.util.Collection;
-import java.util.Collections;
-import java.util.Set;
-
+import org.apache.commons.io.FilenameUtils;
 import org.semanticweb.HermiT.model.DLClause;
 import org.semanticweb.owlapi.model.OWLOntology;
 import uk.ac.ox.cs.pagoda.constraints.UnaryBottom;
 
+import java.util.Collection;
+import java.util.Collections;
+import java.util.Set;
+
 public class GeneralProgram extends Program {
         
         public GeneralProgram(Set<DLClause> relevantClauses, OWLOntology relevantOntology) {
@@ -28,7 +29,7 @@ public class GeneralProgram extends Program {
 
         @Override
         public String getOutputPath() {
-                return getDirectory() + "rules.dlog";
+                return FilenameUtils.concat(getDirectory(), "rules.dlog");
         }
 
 //      @Override
diff --git a/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java b/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
index 199d167..9930009 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
@@ -1,5 +1,6 @@
 package uk.ac.ox.cs.pagoda.rules;
 
+import org.apache.commons.io.FilenameUtils;
 import org.semanticweb.HermiT.Reasoner;
 import org.semanticweb.HermiT.model.*;
 import org.semanticweb.owlapi.model.*;
@@ -76,7 +77,7 @@ public class LowerDatalogProgram extends ApproxProgram implements IncrementalPro
 
         @Override
         public String getOutputPath() {
-                return getDirectory() + "lower.dlog";
+                return FilenameUtils.concat(getDirectory(), "lower.dlog");
         }
         
 //      @Override
diff --git a/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java b/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java
index 46f22e3..52d60b7 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java
@@ -1,10 +1,12 @@
 package uk.ac.ox.cs.pagoda.rules;
 
+import org.apache.commons.io.FilenameUtils;
+
 public abstract class UpperProgram extends ApproxProgram {
 
         @Override
         public String getOutputPath() {
-                return getDirectory() + "upper.dlog";
+                return FilenameUtils.concat(getDirectory(), "upper.dlog");
         }
 
 }