aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.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/GeneralProgram.java
parent1013812b487bc438df49ec93ad9433438d5d6cf6 (diff)
downloadACQuA-afb949a595bf351d4c9f1a8984ed82edbd13b725.tar.gz
ACQuA-afb949a595bf351d4c9f1a8984ed82edbd13b725.zip
Small changes.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java11
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 @@
1package uk.ac.ox.cs.pagoda.rules; 1package uk.ac.ox.cs.pagoda.rules;
2 2
3import java.util.Collection; 3import org.apache.commons.io.FilenameUtils;
4import java.util.Collections;
5import java.util.Set;
6
7import org.semanticweb.HermiT.model.DLClause; 4import org.semanticweb.HermiT.model.DLClause;
8import org.semanticweb.owlapi.model.OWLOntology; 5import org.semanticweb.owlapi.model.OWLOntology;
9import uk.ac.ox.cs.pagoda.constraints.UnaryBottom; 6import uk.ac.ox.cs.pagoda.constraints.UnaryBottom;
10 7
8import java.util.Collection;
9import java.util.Collections;
10import java.util.Set;
11
11public class GeneralProgram extends Program { 12public 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