Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




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

URL of the conference:

http://www.floc-conference.org/IJCAR-home.html

URL for downloading the paper:

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section