Consequence-Based Reasoning For Ontology Classification