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
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):|
|Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView|