MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments


On the saturation of YAGO

Suda, Martin and Weidenbach, Christoph and Wischnewski, Patrick

January 2010, 50 pages.

Status: available - back from printing

YAGO is an automatically generated ontology out of Wikipedia and WordNet. It is eventually represented in a proprietary flat text file format and a core comprises 10 million facts and formulas. We present a translation of YAGO into the Bernays-Schoenfinkel Horn class with equality. A new variant of the superposition calculus is sound, complete and terminating for this class. Together with extended term indexing data structures the new calculus is implemented in SPASSYAGO. YAGO can be finitely saturated by SPASSYAGO in about 1 hour. We have found 49 inconsistencies in the original generated ontology which we have fixed. SPASSYAGO is able to prove non-trivial conjectures with respect to the resulting saturated and consistent clause set of about 1.4 GB in less than one second.

URL to this document:

Hide details for BibTeXBibTeX
  AUTHOR = {Suda, Martin and Weidenbach, Christoph and Wischnewski, Patrick},
  TITLE = {On the saturation of {YAGO}},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-2010-RG1-001},
  MONTH = {January},
  YEAR = {2010},
  ISSN = {0946-011X},