diff options
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala b/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala index 2ee0f64..8358359 100644 --- a/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala +++ b/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala | |||
| @@ -204,8 +204,8 @@ class AcquaQueryReasoner(val ontology: Ontology) | |||
| 204 | * @param query the query record to evaluate. | 204 | * @param query the query record to evaluate. |
| 205 | */ | 205 | */ |
| 206 | def evaluate(query: QueryRecord): Unit = { | 206 | def evaluate(query: QueryRecord): Unit = { |
| 207 | queryLowerAndUpperBounds(query) | ||
| 207 | val processed = | 208 | val processed = |
| 208 | queryLowerAndUpperBounds(query) || | ||
| 209 | queryRSALowerBound(query) || | 209 | queryRSALowerBound(query) || |
| 210 | queryRSAUpperBound(query) | 210 | queryRSAUpperBound(query) |
| 211 | if (!processed) { | 211 | if (!processed) { |
