Ontologies are becoming more and more popular as background knowledge for intelligent applications. Up to now, there has been a schism between manually assembled, highly axiomatic ontologies and large, automatically constructed knowledge bases. This paper discusses how the two worlds can be brought together by combining the high-level axiomatizations from the Standard Upper Merged Ontology (SUMO) with the extensive world knowledge of the YAGO ontology. The result is a new large-scale formal ontology, which provides information about millions of entities such as people, cities, organizations, and companies.
Gerard de Melo, Fabian M. Suchanek, Adam Pease