Title: Progress in Knowledge Representation Research