Semantic Context Reasoning for Formulating User Location | IEEE Conference Publication | IEEE Xplore