aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-30 10:28:09 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-30 10:28:09 +0100
commitafb949a595bf351d4c9f1a8984ed82edbd13b725 (patch)
tree715086d773c0fc2b610df752d647cb35448be20f /src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
parent1013812b487bc438df49ec93ad9433438d5d6cf6 (diff)
downloadACQuA-afb949a595bf351d4c9f1a8984ed82edbd13b725.tar.gz
ACQuA-afb949a595bf351d4c9f1a8984ed82edbd13b725.zip
Small changes.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java3
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 @@
1package uk.ac.ox.cs.pagoda.rules; 1package uk.ac.ox.cs.pagoda.rules;
2 2
3import org.apache.commons.io.FilenameUtils;
3import org.semanticweb.HermiT.Reasoner; 4import org.semanticweb.HermiT.Reasoner;
4import org.semanticweb.HermiT.model.*; 5import org.semanticweb.HermiT.model.*;
5import org.semanticweb.owlapi.model.*; 6import 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