diff options
Diffstat (limited to 'external/uk/ac/ox/cs/data/OntologyStatistics.java')
| -rw-r--r-- | external/uk/ac/ox/cs/data/OntologyStatistics.java | 3 |
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 @@ | |||
| 1 | package uk.ac.ox.cs.data; | 1 | package uk.ac.ox.cs.data; |
| 2 | 2 | ||
| 3 | import org.semanticweb.owlapi.model.OWLOntology; | 3 | import org.semanticweb.owlapi.model.OWLOntology; |
| 4 | import org.semanticweb.owlapi.model.parameters.Imports; | ||
| 4 | import uk.ac.ox.cs.pagoda.owl.OWLHelper; | 5 | import uk.ac.ox.cs.pagoda.owl.OWLHelper; |
| 5 | 6 | ||
| 6 | public class OntologyStatistics { | 7 | public 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 | } |
