My research focuses on the science and engineering of large knowledge base systems and spans knowledge representation and reasoning, deductive question answering, knowledge acquisition, and innovative applications. I am also interested in entrepreneurship, and transitioning research ideas into commercial products. I have worked with a wide range of knowledge representation and reasoning systems including LOOM, Ontolingua, Cyc, KM, and F-Logic. I was part of the team that developed the Open Knowledge Base Connectivity protocol for accessing knowledge bases. I contributed to storage, and multi-user software that underlies SRI's EcoCyc project. Since 2000, I have been working on a system to capture knowledge from science textbooks, and to answer questions at the back of the book.
