MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick		dblp
dblp
dblp
Editor(s):
Giesl, Jürgen
Hähnle, Reiner		dblp
dblp
Not MPII Editor(s):
Giesl, Jürgen
Hähnle, Reiner
BibTeX cite key*:
SudaWeidenbachWischnewskiIJCAR10
Title, Booktitle
Title*:
On the Saturation of YAGO
Booktitle*:
Automated Reasoning : 5th International Joint Conference, IJCAR 2010
Event, URLs
Conference URL::
http://www.floc-conference.org/IJCAR-home.html
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-14203-1_38
Event Address*:
Edinburgh, UK
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
16 July 2010
Event End Date:
19 July 2010
Publisher
Name*:
Springer
URL:
Address*:
Berlin
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
6173
Number:
Month:
Pages:
441-456
Year*:
2010
VG Wort Pages:
ISBN/ISSN:
978-3-642-14202-4
Sequence Number:
DOI:
10.1007/978-3-642-14203-1_38
Note, Abstract, ©
(LaTeX) Abstract:
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-Sch¨onfinkel 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 hour.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.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{SudaWeidenbachWischnewskiIJCAR10,
AUTHOR = {Suda, Martin and Weidenbach, Christoph and Wischnewski, Patrick},
 EDITOR = {Giesl, J{\"u}rgen and H{\"a}hnle, Reiner},
 TITLE = {On the Saturation of {YAGO}},
 BOOKTITLE = {Automated Reasoning : 5th International Joint Conference, IJCAR 2010},
 PUBLISHER = {Springer},
 YEAR = {2010},
 VOLUME = {6173},
 PAGES = {441--456},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Edinburgh, UK},
 ISBN = {978-3-642-14202-4},
 DOI = {10.1007/978-3-642-14203-1_38},
}

Entry last modified by Anja Becker, 01/19/2011
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]		Created
12/03/2010 01:48:58 PM
Revisions
6.
5.
4.
3.
2.		Editor(s)
Anja Becker
Patrick Wischnewski
Patrick Wischnewski
Patrick Wischnewski
Patrick Wischnewski		Edit Dates
19.01.2011 15:01:49
12/08/2010 11:00:19 AM
12/03/2010 01:52:40 PM
12/03/2010 01:52:13 PM
12/03/2010 01:51:50 PM