diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java | 3 |
1 files changed, 2 insertions, 1 deletions
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 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.rules; | 1 | package uk.ac.ox.cs.pagoda.rules; |
| 2 | 2 | ||
| 3 | import org.apache.commons.io.FilenameUtils; | ||
| 3 | import org.semanticweb.HermiT.Reasoner; | 4 | import org.semanticweb.HermiT.Reasoner; |
| 4 | import org.semanticweb.HermiT.model.*; | 5 | import org.semanticweb.HermiT.model.*; |
| 5 | import org.semanticweb.owlapi.model.*; | 6 | import org.semanticweb.owlapi.model.*; |
| @@ -76,7 +77,7 @@ public class LowerDatalogProgram extends ApproxProgram implements IncrementalPro | |||
| 76 | 77 | ||
| 77 | @Override | 78 | @Override |
| 78 | public String getOutputPath() { | 79 | public String getOutputPath() { |
| 79 | return getDirectory() + "lower.dlog"; | 80 | return FilenameUtils.concat(getDirectory(), "lower.dlog"); |
| 80 | } | 81 | } |
| 81 | 82 | ||
| 82 | // @Override | 83 | // @Override |
