From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001 From: Federico Igne 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. --- .../org/semanticweb/karma2/model/Equality.java | 36 ++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 src/main/java/org/semanticweb/karma2/model/Equality.java (limited to 'src/main/java/org/semanticweb/karma2/model/Equality.java') 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 ""; + } + 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