Vitalsource Technologies, Inc. Semi-algebraic Function Rings And Reflectors Of Partially Ordered Rings