Knowledge Representation and Inference in Context-Aware Computing Environments | IEEE Conference Publication | IEEE Xplore