Our goal is to develop ways of building and using large knowledge bases.
We study knowledge representation, automated reasoning and computational
linguistics and apply our work to knowledge bases in biology and other
sciences
Our goal is to develop technology that enables people who are untrained
in Artificial Intelligence to build knowledge bases efficiently
and accurately.
