A context ontology for pervasive service provision | IEEE Conference Publication | IEEE Xplore