Context Reasoning and Prediction in Smart Environments: the Home Manager case