A Datalog Model for Context Reasoning in Pervasive Environments | IEEE Conference Publication | IEEE Xplore