From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 10 May 2022 18:17:06 +0100
Subject: [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.
---
 src/main/scala/uk/ac/ox/cs/acqua/Main.scala | 41 +++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 src/main/scala/uk/ac/ox/cs/acqua/Main.scala

(limited to 'src/main/scala/uk/ac')

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;
+
+}
-- 
cgit v1.2.3