Real-Time IoT Big-data Processing for Stream Reasoning