Reasoning about Smart City | IEEE Conference Publication | IEEE Xplore