Incremental Reasoning on Streams and Rich Background Knowledge