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/LowerDatalogProgram.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java') 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 -- cgit v1.2.3