March 3 – March 4 A Translational Institute for Knowledge Axiomatization (TIKA) Workshop: AAAI Conference on Artificial Intelligence