Ontological framework of context-aware and reasoning middleware for smart homes with health and social services | IEEE Conference Publication | IEEE Xplore