From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 10:34:27 +0100 Subject: initial version --- test/uk/ac/ox/cs/data/OntologyStatistics.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 test/uk/ac/ox/cs/data/OntologyStatistics.java (limited to 'test/uk/ac/ox/cs/data/OntologyStatistics.java') 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 @@ +package uk.ac.ox.cs.data; + +import org.semanticweb.owlapi.model.OWLOntology; +import uk.ac.ox.cs.pagoda.owl.OWLHelper; + +public class OntologyStatistics { + + public static void main(String[] args) { + 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()); + } + +} -- cgit v1.2.3