Black-box Testing of First-Order Logic Ontologies Using WordNet
Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning