diff options
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/acqua/Main.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/acqua/Main.scala | 11 |
1 files changed, 6 insertions, 5 deletions
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 | |||
| 25 | import uk.ac.ox.cs.pagoda.util.PagodaProperties; | 25 | import uk.ac.ox.cs.pagoda.util.PagodaProperties; |
| 26 | import uk.ac.ox.cs.pagoda.util.Utility; | 26 | import uk.ac.ox.cs.pagoda.util.Utility; |
| 27 | 27 | ||
| 28 | import uk.ac.ox.cs.acqua.reasoner.RSAQueryReasoner | 28 | import uk.ac.ox.cs.acqua.reasoner.{ |
| 29 | AcquaQueryReasoner, | ||
| 30 | RSACombQueryReasoner | ||
| 31 | } | ||
| 29 | import uk.ac.ox.cs.acqua.util.AcquaConfig | 32 | import uk.ac.ox.cs.acqua.util.AcquaConfig |
| 30 | 33 | ||
| 31 | object Acqua extends App { | 34 | object Acqua extends App { |
| @@ -45,11 +48,9 @@ object Acqua extends App { | |||
| 45 | } else if (OWLHelper.isInELHO(ontology.origin)) { | 48 | } else if (OWLHelper.isInELHO(ontology.origin)) { |
| 46 | new ELHOQueryReasoner(); | 49 | new ELHOQueryReasoner(); |
| 47 | } else if (ontology.isRSA) { | 50 | } else if (ontology.isRSA) { |
| 48 | new RSAQueryReasoner(ontology) | 51 | new RSACombQueryReasoner(ontology) |
| 49 | } else { | 52 | } else { |
| 50 | // Return ACQuA reasoner | 53 | new AcquaQueryReasoner(ontology) |
| 51 | // new MyQueryReasoner(performMultiStages, considerEqualities); | ||
| 52 | ??? | ||
| 53 | } | 54 | } |
| 54 | 55 | ||
| 55 | /* Preprocessing */ | 56 | /* Preprocessing */ |
