diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java | 3 |
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()) { |
