Optimised Mobile Reasoning for Pervasive Service Discovery | IEEE Conference Publication | IEEE Xplore