Counting subclass axioms in ontologies