From 2ebd0c8c4fd421dd676004e559b69ed8e5c9bb49 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sun, 15 May 2022 19:28:02 +0100 Subject: Finalise implementation of ACQuA query reasoner --- src/main/scala/uk/ac/ox/cs/acqua/Main.scala | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'src/main/scala/uk/ac/ox/cs/acqua/Main.scala') diff --git a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala index 62cf87c..dfb9630 100644 --- a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala @@ -25,7 +25,10 @@ import uk.ac.ox.cs.pagoda.reasoner.{ELHOQueryReasoner,MyQueryReasoner,QueryReaso import uk.ac.ox.cs.pagoda.util.PagodaProperties; import uk.ac.ox.cs.pagoda.util.Utility; -import uk.ac.ox.cs.acqua.reasoner.RSAQueryReasoner +import uk.ac.ox.cs.acqua.reasoner.{ + AcquaQueryReasoner, + RSACombQueryReasoner +} import uk.ac.ox.cs.acqua.util.AcquaConfig object Acqua extends App { @@ -45,11 +48,9 @@ object Acqua extends App { } else if (OWLHelper.isInELHO(ontology.origin)) { new ELHOQueryReasoner(); } else if (ontology.isRSA) { - new RSAQueryReasoner(ontology) + new RSACombQueryReasoner(ontology) } else { - // Return ACQuA reasoner - // new MyQueryReasoner(performMultiStages, considerEqualities); - ??? + new AcquaQueryReasoner(ontology) } /* Preprocessing */ -- cgit v1.2.3