On the saturation of YAGO

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6173 LNAI, Issue , 2010, Pages 441-456

  Suda, Martin ^a   Weidenbach, Christoph ^a   Wischnewski, Patrick ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; NON-TRIVIAL; SUPERPOSITION CALCULUS; TEXT FILE; WIKIPEDIA; WORDNET;

AUTOMATA THEORY; CALCULATIONS; DATA STRUCTURES; PROBLEM SOLVING;

ONTOLOGY;

EID: 77955244149     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14203-1_38     Document Type: Conference Paper

References (16)

1. Bachmair, L., Ganzinger, H.: Ordered chaining calculi for first-order theories of transitive relations. Journal of the ACM (JACM) 45(6), 1007-1049 (1998)
2. Ganzinger, H., Nieuwenhuis, R., Nivela, P.: Context trees. In: Goré, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 242-256. Springer, Heidelberg (2001)
3. Graf, P.: Term Indexing. LNCS, vol. 1053. Springer, Heidelberg (1996)
4. Horrocks, I., Voronkov, A.: Reasoning support for expressive ontology languages using a theorem prover. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 201-218. Springer, Heidelberg (2006) (Pubitemid 43973749)
5. Korovin, K.: iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 292-298. Springer, Heidelberg (2008)
6. Ramakrishnan, I.V., Sekar, R.C., Voronkov, A.: Term indexing. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1853-1964. Elsevier/MIT Press (2001)
7. Schulz, S., Bonacina, M.P.: On Handling Distinct Objects in the Superposition Calculus. In: Konev, B., Schulz, S. (eds.) Proc. of the 5th International Workshop on the Implementation of Logics, Montevideo, Uruguay, pp. 66-77 (2005)
8. Rao, J., Ross, K.A.: Making B+-trees cache conscious in main memory. In: ACM SIGMOD International Conference on Management of Data, pp. 475-486 (2000)
9. Schulz, S.: E - a brainiac theorem prover. AI Communication 15(2-3), 111-126 (2002)
10. Suchanek, F.M., Kasneci, G., Weikum, G.: Yago: A Core of Semantic Knowledge. In: 16th international World Wide Web conference (WWW 2007), Banff, Canada, pp. 697-706. ACM Press, New York (2007)
11. Suchanek, F.M., Kasneci, G., Weikum, G.: YAGO: A Large Ontology from Wikipedia and WordNet. J. Web Sem. 6(3), 203-217 (2008)
12. Suda, M., Sutcliffe, G., Wischnewski, P., Lamotte-Schubert, M., de Melo, G.: External sources of axioms in automated theorem proving. In: Mertsching, B., Hund, M., Aziz, M.Z. (eds.) KI 2009. LNCS, vol. 5803, pp. 281-288. Springer, Heidelberg (2009)
13. Suda, M., Weidenbach, C., Wischnewski, P.: On the Saturation of YAGO. Research Report MPI-I-2010-RG1-001, Max-Planck-Institut für Informatik, Saarbrücken (2010)
14. Sutcliffe, G.: The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Communication 22(1), 59-72 (2009)
15. Weidenbach, C.: Combining superposition, sorts and splitting. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 27, vol. 2, pp. 1965-2012. Elsevier, Amsterdam (2001)
16. Weidenbach, C., Dimova, D., Fietzke, A., Suda, M., Wischnewski, P.: SPASS Version 3.5. In: Schmidt, R.A. (ed.) CADE 2009. LNCS, vol. 5663, pp. 140-145. Springer, Heidelberg (2009)