diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-17 12:40:30 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-17 12:45:32 +0000 |
| commit | 727a77044f24fe1cbeee55b3389130a58bfcfd65 (patch) | |
| tree | 2c973cccdcb27bc8a4fcdc1e620bf983d77a9c16 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |
| parent | 28d767e7e588d5d411e06b26db1a18448e2a6aad (diff) | |
| download | RSAComb-727a77044f24fe1cbeee55b3389130a58bfcfd65.tar.gz RSAComb-727a77044f24fe1cbeee55b3389130a58bfcfd65.zip | |
Add an optimised version of the filtering program
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala index 4d71bca..7ff0fd3 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
| @@ -117,7 +117,7 @@ object RSAOntology { | |||
| 117 | def filteringProgram(query: ConjunctiveQuery): FilteringProgram = | 117 | def filteringProgram(query: ConjunctiveQuery): FilteringProgram = |
| 118 | Logger.timed( | 118 | Logger.timed( |
| 119 | { | 119 | { |
| 120 | val filter = FilteringProgram(FilterType.REVISED) | 120 | val filter = FilteringProgram(FilterType.REVISEDv2) |
| 121 | filter(CanonGraph, FilterGraph(query), query) | 121 | filter(CanonGraph, FilterGraph(query), query) |
| 122 | }, | 122 | }, |
| 123 | "Generating filtering program", | 123 | "Generating filtering program", |