From afb949a595bf351d4c9f1a8984ed82edbd13b725 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 30 Jun 2015 10:28:09 +0100 Subject: Small changes. --- src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java | 11 ++++++----- src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java | 3 ++- src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java | 4 +++- 3 files changed, 11 insertions(+), 7 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules') 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 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"); } } -- cgit v1.2.3