Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
yago : a core of semantic knowledge .