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/reasoner/MyQueryReasoner.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 8e28142..71d5752 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java @@ -68,7 +68,7 @@ class MyQueryReasoner extends QueryReasoner { } ontology = o; - program = new DatalogProgram(ontology, properties.getToClassify()); + program = new DatalogProgram(ontology); // program.getLower().save(); // program.getUpper().save(); // program.getGeneral().save(); @@ -154,7 +154,7 @@ class MyQueryReasoner extends QueryReasoner { // encoder = new TrackingRuleEncoderDisjVar2(program.getUpper(), trackingStore); // encoder = new TrackingRuleEncoderDisj2(program.getUpper(), trackingStore); - // TODO add consistency check by Skolem-upper-bound + // TODO? add consistency check by Skolem-upper-bound if(!isConsistent()) return false; @@ -225,7 +225,7 @@ class MyQueryReasoner extends QueryReasoner { @Override public void evaluateUpper(QueryRecord queryRecord) { if(isDisposed()) throw new DisposedException(); - // TODO add new upper store + // TODO? add new upper store AnswerTuples rlAnswer = null; boolean useFull = queryRecord.isBottom() || lazyUpperStore == null; try { @@ -388,7 +388,7 @@ class MyQueryReasoner extends QueryReasoner { Utility.logInfo(">> Semi-Skolemisation <<"); t.reset(); - DatalogProgram relevantProgram = new DatalogProgram(relevantSubset, false); // toClassify is false + DatalogProgram relevantProgram = new DatalogProgram(relevantSubset); MultiStageQueryEngine relevantStore = new MultiStageQueryEngine("Relevant-store", true); // checkValidity is true -- cgit v1.2.3