Research report 2011 - Max Planck Institute for Informatics
Answering complex queries – The next step in searching the internet more effectively
Max-Planck-Forschungsgruppe Automation of Logic (Christoph Weidenbach)
SummaryToday, there is a vast quantity of knowledge available, in particular on the Internet. In order to precisely answer complex queries in terms of this knowledge, a computer has to be able to perform reasoning on this knowledge. At the Max Planck Institute for Informatics methods are developed that allow a computer to efficiently reason about knowledge bases consisting of several million entries. These methods answer complex queries with respect to such a knowledge base in less than one second.