From c3480bb733b8bca976718a3dc2f09a21cb4b1b45 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 4 Aug 2015 18:30:46 +0100 Subject: Rules parsing. --- 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 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 } + // TODO -RULE- filter out unsafe rules @Override public void transform() { if (m_toClassify) { @@ -56,7 +57,7 @@ public class LowerDatalogProgram extends ApproxProgram implements IncrementalPro else super.transform(); - Normalisation norm = new Normalisation(dlOntology.getDLClauses(), ontology, new NullaryBottom()); + Normalisation norm = new Normalisation(dlClauses, ontology, new NullaryBottom()); BottomStrategy tBottom = new NullaryBottom(); norm.process(); for (DLClause nClause: norm.getNormlisedClauses()) { -- cgit v1.2.3