Our seminar series is free and available for anyone to attend. Unless otherwise stated, seminars take place on Wednesday afternoons at 2pm in the Kilburn Building during teaching season.

If you wish to propose a seminar speaker please contact Antoniu Pop.


On the Saturation of YAGO

  • Speaker:   Prof  Christoph Weidenbach  (Max-Planck Institute)
  • Host:   Renate Schmidt
  • 16th June 2010 at 15:15 in Lecture Theatre 1.4, Kilburn Building
Joint work with Martin Suda and Patrick Wischnewski

YAGO is an automatically generated ontology out of Wikipedia and WordNet. It is eventually represented in a proprietary flat text file format that can be translated to known standard formats such as RDF. 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 SPASS-YAGO. YAGO can be finitely saturated by SPASS-YAGO in about 1.5 hours. We have found 49 inconsistencies in the original generated ontology which we have fixed. SPASS-YAGO can then prove non-trivial conjectures with respect to the resulting saturated and consistent clause set of about 1.4 GB in less than one second.
▲ Up to the top