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/uk/ac/ox/cs/pagoda/model/IRI.java | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 src/uk/ac/ox/cs/pagoda/model/IRI.java (limited to 'src/uk/ac/ox/cs/pagoda/model/IRI.java') diff --git a/src/uk/ac/ox/cs/pagoda/model/IRI.java b/src/uk/ac/ox/cs/pagoda/model/IRI.java deleted file mode 100644 index 7dc5242..0000000 --- a/src/uk/ac/ox/cs/pagoda/model/IRI.java +++ /dev/null @@ -1,28 +0,0 @@ -package uk.ac.ox.cs.pagoda.model; - -import uk.ac.ox.cs.pagoda.util.Namespace; - -public class IRI extends AnswerTerm { - - int id; - String iri; - - private IRI(String iri, int id) { - this.iri = iri; - this.id = id; - } - - public IRI create(String iri) { - IRI instance = (IRI) instances.find(iri); - if (instance != null) return instance; - instance = new IRI(iri, iri.startsWith(Namespace.PAGODA_ANONY) ? --SkolemCounter : ++OriginalCounter); - instances.insert(iri, instance); - return instance; - } - - @Override - public String toString() { - return "<" + iri + ">"; - } - -} -- cgit v1.2.3