aboutsummaryrefslogtreecommitdiff
path: root/external/uk/ac/ox/cs/data/OntologyStatistics.java
blob: de40dda31cf40e0c952f1031e27871e0e52bd3e7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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()); 
	}
	
}