Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
Sweetening Ontologies with DOLCE