A light reasoning infrastructure to enable context-aware mobile applications