From d81b086fe329fa69891eba0a4b1f73e44183620d Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 20 May 2015 18:52:47 +0100 Subject: Added more tests. Querying of the upper bound is currently unstable. --- src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java index 2285b5f..f5a8093 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java @@ -34,9 +34,9 @@ class ELHOQueryReasoner extends QueryReasoner { } finally { if (elAnswer != null) elAnswer.dispose(); } - queryRecord.addProcessingTime(Step.ELLowerBound, t.duration()); - - queryRecord.setDifficulty(Step.ELLowerBound); + queryRecord.addProcessingTime(Step.EL_LOWER_BOUND, t.duration()); + + queryRecord.setDifficulty(Step.EL_LOWER_BOUND); queryRecord.markAsProcessed(); } -- cgit v1.2.3