Black-box Testing of First-Order Logic Ontologies Using WordNet
Handbook on Ontologies