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

diff --git a/src/main/java/org/semanticweb/karma2/model/Equality.java b/src/main/java/org/semanticweb/karma2/model/Equality.java
new file mode 100644
index 0000000..fcb270c
--- /dev/null
+++ b/src/main/java/org/semanticweb/karma2/model/Equality.java
@@ -0,0 +1,36 @@
+package org.semanticweb.karma2.model;
+
+import java.io.Serializable;
+
+import org.semanticweb.HermiT.Prefixes;
+import org.semanticweb.HermiT.model.DLPredicate;
+
+/**
+ * Represents the equality predicate.
+ */
+public class Equality implements DLPredicate,Serializable {
+    private static final long serialVersionUID=8308051741088513244L;
+
+    public static final Equality INSTANCE=new Equality();
+    
+    protected Equality () {
+    }
+    public int getArity() {
+        return 2;
+    }
+    public String toString(Prefixes prefixes) {
+        return "<http://www.w3.org/2002/07/owl#sameas>";
+    }
+    public String toOrderedString(Prefixes prefixes) {
+        return toString(prefixes);
+    }
+    public String toString() {
+        return toString(Prefixes.STANDARD_PREFIXES);
+    }
+    protected Object readResolve() {
+        return INSTANCE;
+    }
+    public static Equality create() {
+        return INSTANCE;
+    }
+}