From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001
From: yzhou <yujiao.zhou@gmail.com>
Date: Tue, 21 Apr 2015 10:34:27 +0100
Subject: initial version

---
 src/org/semanticweb/karma2/model/Equality.java | 36 ++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 src/org/semanticweb/karma2/model/Equality.java

(limited to 'src/org/semanticweb/karma2/model/Equality.java')

diff --git a/src/org/semanticweb/karma2/model/Equality.java b/src/org/semanticweb/karma2/model/Equality.java
new file mode 100644
index 0000000..fcb270c
--- /dev/null
+++ b/src/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;
+    }
+}
-- 
cgit v1.2.3