Semantic Web Technology and Prolog Reasoning Based Task Planning Mechanism and Application in Smart Home for Internet of Things | IEEE Conference Publication | IEEE Xplore