Vitalsource Technologies, Inc. Towards A Unified Modeling And Knowledge-representation Based On Lattic