An infrastructure for stream reasoning with incremental grounding