Graph traversal methods for reasoning in large knowledge-based systems
searching for common sense : populating cyc™ from the web .