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. --- src/org/semanticweb/karma2/model/Equality.java | 36 -------------------------- 1 file changed, 36 deletions(-) delete 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 deleted file mode 100644 index fcb270c..0000000 --- a/src/org/semanticweb/karma2/model/Equality.java +++ /dev/null @@ -1,36 +0,0 @@ -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