Stream-Based Reasoning for IoT Applications on Domain Education. ICCE 2017.