Automatic Support for Formative Ontology Evaluation