diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:33:05 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:41:21 +0100 |
| commit | 6bfca605a1c76dfe73b123ec96bd49d084860866 (patch) | |
| tree | c1979e213f0c4b277c7b71ea88832395a4ffe56a | |
| parent | e3d640788cf5804d3f0d5213f52f0dc8b78df1ca (diff) | |
| download | ACQuA-6bfca605a1c76dfe73b123ec96bd49d084860866.tar.gz ACQuA-6bfca605a1c76dfe73b123ec96bd49d084860866.zip | |
feat(lower-bound): always compute the lower bound from RSAComb
| -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) { |