diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-28 10:29:11 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-28 10:29:11 +0100 |
| commit | 2e069a4966e6305194c4168d6fc5c406123d7f64 (patch) | |
| tree | dc70e541b78494ac13f899db2831422b28fc5f72 /src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java | |
| parent | c9c8d03e957fa56df5dc1304f7a81dfa61b7b70e (diff) | |
| download | ACQuA-2e069a4966e6305194c4168d6fc5c406123d7f64.tar.gz ACQuA-2e069a4966e6305194c4168d6fc5c406123d7f64.zip | |
NOT-WORKING: trying to add query-dependent Skolemisation.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java index 34742c8..c74ea58 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java | |||
| @@ -68,7 +68,7 @@ class ELHOUQueryReasoner extends QueryReasoner { | |||
| 68 | } | 68 | } |
| 69 | queryRecord.addProcessingTime(Step.UPPER_BOUND, t.duration()); | 69 | queryRecord.addProcessingTime(Step.UPPER_BOUND, t.duration()); |
| 70 | 70 | ||
| 71 | if (queryRecord.processed()) { | 71 | if(queryRecord.isProcessed()) { |
| 72 | queryRecord.setDifficulty(Step.UPPER_BOUND); | 72 | queryRecord.setDifficulty(Step.UPPER_BOUND); |
| 73 | return; | 73 | return; |
| 74 | } | 74 | } |