Test-driven development for ontologies