aboutsummaryrefslogtreecommitdiff
path: root/test/uk/ac/ox/cs/data/OntologyStatistics.java
diff options
context:
space:
mode:
authoryzhou <yujiao.zhou@gmail.com>2015-04-21 10:34:27 +0100
committeryzhou <yujiao.zhou@gmail.com>2015-04-21 10:34:27 +0100
commit9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 (patch)
tree47511c0fb89dccff0db4b5990522e04f294d795b /test/uk/ac/ox/cs/data/OntologyStatistics.java
parentb1ac207612ee8b045244253fb94b866104bc34f2 (diff)
downloadACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.tar.gz
ACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.zip
initial version
Diffstat (limited to 'test/uk/ac/ox/cs/data/OntologyStatistics.java')
-rw-r--r--test/uk/ac/ox/cs/data/OntologyStatistics.java15
1 files changed, 15 insertions, 0 deletions
diff --git a/test/uk/ac/ox/cs/data/OntologyStatistics.java b/test/uk/ac/ox/cs/data/OntologyStatistics.java
new file mode 100644
index 0000000..de40dda
--- /dev/null
+++ b/test/uk/ac/ox/cs/data/OntologyStatistics.java
@@ -0,0 +1,15 @@
1package uk.ac.ox.cs.data;
2
3import org.semanticweb.owlapi.model.OWLOntology;
4import uk.ac.ox.cs.pagoda.owl.OWLHelper;
5
6public class OntologyStatistics {
7
8 public static void main(String[] args) {
9 args = ("/home/yzhou/ontologies/uobm/univ-bench-dl-minus.owl").split("\\ ");
10
11 OWLOntology onto = OWLHelper.loadOntology(args[0]);
12 System.out.println(onto.getTBoxAxioms(true).size() + onto.getRBoxAxioms(true).size());
13 }
14
15}