aboutsummaryrefslogtreecommitdiff
path: root/external/uk/ac/ox/cs/data/OntologyStatistics.java
diff options
context:
space:
mode:
Diffstat (limited to 'external/uk/ac/ox/cs/data/OntologyStatistics.java')
-rw-r--r--external/uk/ac/ox/cs/data/OntologyStatistics.java3
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 @@
1package uk.ac.ox.cs.data; 1package uk.ac.ox.cs.data;
2 2
3import org.semanticweb.owlapi.model.OWLOntology; 3import org.semanticweb.owlapi.model.OWLOntology;
4import org.semanticweb.owlapi.model.parameters.Imports;
4import uk.ac.ox.cs.pagoda.owl.OWLHelper; 5import uk.ac.ox.cs.pagoda.owl.OWLHelper;
5 6
6public class OntologyStatistics { 7public class OntologyStatistics {
@@ -9,7 +10,7 @@ public class OntologyStatistics {
9 args = ("/home/yzhou/ontologies/uobm/univ-bench-dl-minus.owl").split("\\ "); 10 args = ("/home/yzhou/ontologies/uobm/univ-bench-dl-minus.owl").split("\\ ");
10 11
11 OWLOntology onto = OWLHelper.loadOntology(args[0]); 12 OWLOntology onto = OWLHelper.loadOntology(args[0]);
12 System.out.println(onto.getTBoxAxioms(true).size() + onto.getRBoxAxioms(true).size()); 13 System.out.println(onto.getTBoxAxioms(Imports.INCLUDED).size() + onto.getRBoxAxioms(Imports.INCLUDED).size());
13 } 14 }
14 15
15} 16}