Vitalsource Technologies, Inc. Logic System Of Concept Graphs With Negation