Formalizing Semantic Spaces For Information Access