[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, 2 insertions, 1 deletions

diff --git a/external/uk/ac/ox/cs/data/OntologyStatistics.java b/external/uk/ac/ox/cs/data/OntologyStatistics.java
index de40dda..e4e7942 100644
--- a/external/uk/ac/ox/cs/data/OntologyStatistics.java
+++ b/external/uk/ac/ox/cs/data/OntologyStatistics.java
@@ -1,6 +1,7 @@
 package uk.ac.ox.cs.data;
 
 import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.model.parameters.Imports;
 import uk.ac.ox.cs.pagoda.owl.OWLHelper;
 
 public class OntologyStatistics {
@@ -9,7 +10,7 @@ public class OntologyStatistics {
                 args = ("/home/yzhou/ontologies/uobm/univ-bench-dl-minus.owl").split("\\ "); 
 
                 OWLOntology onto = OWLHelper.loadOntology(args[0]);
-                System.out.println(onto.getTBoxAxioms(true).size() + onto.getRBoxAxioms(true).size()); 
+                System.out.println(onto.getTBoxAxioms(Imports.INCLUDED).size() + onto.getRBoxAxioms(Imports.INCLUDED).size()); 
         }
         
 }