[pagoda] Move project to Scala

This commit includes a few changes:
- The repository still uses Maven to manage dependency but it is now a
  Scala project.
- The code has been ported from OWLAPI 3.4.10 to 5.1.20
- A proof of concept program using both RSAComb and PAGOdA has been
  added.

1 files changed, 41 insertions, 0 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
new file mode 100644
index 0000000..749a492
--- /dev/null
+++ b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
@@ -0,0 +1,41 @@
+package uk.ac.ox.cs.acqua
+
+import uk.ac.ox.cs.rsacomb.ontology.Ontology
+
+import uk.ac.ox.cs.pagoda.owl.OWLHelper
+import uk.ac.ox.cs.pagoda.reasoner.{ELHOQueryReasoner,QueryReasoner,RLQueryReasoner}
+// import uk.ac.ox.cs.pagoda.Pagoda
+// import uk.ac.ox.cs.pagoda.util.PagodaProperties;
+
+object Acqua extends App {
+
+  val ontopath = os.Path("tests/lubm/univ-bench.owl", base = os.pwd)
+  val ontology = Ontology(ontopath, List.empty)
+
+  val performMultiStages = true
+  val considerEqualities = true
+
+  val reasoner: QueryReasoner = if (OWLHelper.isInOWL2RL(ontology.origin)) {
+    new RLQueryReasoner();
+  } else if (OWLHelper.isInELHO(ontology.origin)) {
+    new ELHOQueryReasoner();
+  } else if (ontology.isRSA) {
+    // Use combined approach for RSA
+    ???
+  } else {
+    new MyQueryReasoner(performMultiStages, considerEqualities);
+  }
+        // else
+        //     switch(type) {
+        //         case RLU:
+        //             reasoner = new RLUQueryReasoner(performMultiStages, considerEqualities);
+        //             break;
+        //         case ELHOU:
+        //             reasoner = new ELHOUQueryReasoner(performMultiStages, considerEqualities);
+        //             break;
+        //         default:
+        //             reasoner = new MyQueryReasoner(performMultiStages, considerEqualities);
+        //     }
+        // return reasoner;
+
+}