Using sentiment analysis and automated reasoning to boost smart lighting systems