MPI-INF/SWS Research Reports 1991-2021
2. Number - only RG1
MPI-I-2010-RG1-001
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.
-
MPI-I-2010-RG1-001.pdf
- Attachement: MPI-I-2010-RG1-001.pdf (388 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2010-RG1-001
BibTeX@TECHREPORT{SudaWischnewski2010,
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},
}