From 727a77044f24fe1cbeee55b3389130a58bfcfd65 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 17 Nov 2021 12:40:30 +0000
Subject: Add an optimised version of the filtering program

---
 src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')

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 {
   def filteringProgram(query: ConjunctiveQuery): FilteringProgram =
     Logger.timed(
       {
-        val filter = FilteringProgram(FilterType.REVISED)
+        val filter = FilteringProgram(FilterType.REVISEDv2)
         filter(CanonGraph, FilterGraph(query), query)
       },
       "Generating filtering program",
-- 
cgit v1.2.3