Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society


On the saturation of YAGO

Suda, Martin and Weidenbach, Christoph and Wischnewski, Patrick

MPI-I-2010-RG1-001. January 2010, 50 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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
clause set of about 1.4 GB in less than one second.

References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-2010-RG1-001.pdf MPI-I-2010-RG1-001.pdf 388 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
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},