Vitalsource Technologies, Inc. Semantics-Oriented Natural Language Processing: Mathematical Models and Algorithms