[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, 14 insertions, 0 deletions

diff --git a/src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java b/src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java
new file mode 100644
index 0000000..6bd8f05
--- /dev/null
+++ b/src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java
@@ -0,0 +1,14 @@
+package uk.ac.ox.cs.pagoda.rules.approximators;
+
+import org.testng.annotations.Test;
+
+/**
+ * Tests for the class <tt>SkolemTermsManager</tt>
+ */
+public class TestSkolemTermsManager {
+
+    @Test
+    public void test() {
+        // TODO some test
+    }
+}