diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java | 11 |
1 files changed, 6 insertions, 5 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 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.rules; | 1 | package uk.ac.ox.cs.pagoda.rules; |
| 2 | 2 | ||
| 3 | import java.util.Collection; | 3 | import org.apache.commons.io.FilenameUtils; |
| 4 | import java.util.Collections; | ||
| 5 | import java.util.Set; | ||
| 6 | |||
| 7 | import org.semanticweb.HermiT.model.DLClause; | 4 | import org.semanticweb.HermiT.model.DLClause; |
| 8 | import org.semanticweb.owlapi.model.OWLOntology; | 5 | import org.semanticweb.owlapi.model.OWLOntology; |
| 9 | import uk.ac.ox.cs.pagoda.constraints.UnaryBottom; | 6 | import uk.ac.ox.cs.pagoda.constraints.UnaryBottom; |
| 10 | 7 | ||
| 8 | import java.util.Collection; | ||
| 9 | import java.util.Collections; | ||
| 10 | import java.util.Set; | ||
| 11 | |||
| 11 | public class GeneralProgram extends Program { | 12 | public class GeneralProgram extends Program { |
| 12 | 13 | ||
| 13 | public GeneralProgram(Set<DLClause> relevantClauses, OWLOntology relevantOntology) { | 14 | public GeneralProgram(Set<DLClause> relevantClauses, OWLOntology relevantOntology) { |
| @@ -28,7 +29,7 @@ public class GeneralProgram extends Program { | |||
| 28 | 29 | ||
| 29 | @Override | 30 | @Override |
| 30 | public String getOutputPath() { | 31 | public String getOutputPath() { |
| 31 | return getDirectory() + "rules.dlog"; | 32 | return FilenameUtils.concat(getDirectory(), "rules.dlog"); |
| 32 | } | 33 | } |
| 33 | 34 | ||
| 34 | // @Override | 35 | // @Override |
