A Tool for Knowledge Base Integration and Querying.

Published in: AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)