Bridging the gap between expressivity and efficiency in stream reasoning: a structural caching approach for IoT streams - Knowledge and Information Systems