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

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 + ">";
-        }
-        
-}