Testing ontologies