Media type: E-Article Title: Automated Reasoning: On the Saturation of YAGO Contributor: Suda, Martin; Weidenbach, Christoph; Wischnewski, Patrick Published: Springer Berlin Heidelberg, 2010 Published in: Automated Reasoning (2010), Seite 441-456 Language: Not determined DOI: 10.1007/978-3-642-14203-1_38 ISBN: 9783642142024; 9783642142031 ISSN: 0302-9743; 1611-3349 Origination: Footnote: