From 2e069a4966e6305194c4168d6fc5c406123d7f64 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 28 May 2015 10:29:11 +0100 Subject: NOT-WORKING: trying to add query-dependent Skolemisation. --- src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java index bdef436..547140a 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java @@ -53,8 +53,8 @@ class RLUQueryReasoner extends QueryReasoner { if (ans != null) ans.dispose(); } queryRecord.addProcessingTime(Step.UPPER_BOUND, t.duration()); - - if (queryRecord.processed()) + + if(queryRecord.isProcessed()) queryRecord.setDifficulty(Step.UPPER_BOUND); } -- cgit v1.2.3