aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
diff options
context:
space:
mode:
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 9930009..a2676e8 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
@@ -39,6 +39,7 @@ public class LowerDatalogProgram extends ApproxProgram implements IncrementalPro
39 } 39 }
40 40
41 41
42 // TODO -RULE- filter out unsafe rules
42 @Override 43 @Override
43 public void transform() { 44 public void transform() {
44 if (m_toClassify) { 45 if (m_toClassify) {
@@ -56,7 +57,7 @@ public class LowerDatalogProgram extends ApproxProgram implements IncrementalPro
56 else 57 else
57 super.transform(); 58 super.transform();
58 59
59 Normalisation norm = new Normalisation(dlOntology.getDLClauses(), ontology, new NullaryBottom()); 60 Normalisation norm = new Normalisation(dlClauses, ontology, new NullaryBottom());
60 BottomStrategy tBottom = new NullaryBottom(); 61 BottomStrategy tBottom = new NullaryBottom();
61 norm.process(); 62 norm.process();
62 for (DLClause nClause: norm.getNormlisedClauses()) { 63 for (DLClause nClause: norm.getNormlisedClauses()) {