From 0d8f240c9c0a64f2285324e5a517161e45c698fc Mon Sep 17 00:00:00 2001 From: yzhou Date: Thu, 30 Apr 2015 17:36:35 +0100 Subject: downgrade owl api and reorganised src files --- external/uk/ac/ox/cs/data/OntologyStatistics.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 external/uk/ac/ox/cs/data/OntologyStatistics.java (limited to 'external/uk/ac/ox/cs/data/OntologyStatistics.java') diff --git a/external/uk/ac/ox/cs/data/OntologyStatistics.java b/external/uk/ac/ox/cs/data/OntologyStatistics.java new file mode 100644 index 0000000..de40dda --- /dev/null +++ b/external/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