Stream reasoning is very useful for situations where ontologies are subject to change. The current version supports complete TBox stream reasoning of EL+ and approximate ABox stream reasoning of SHIQ. Reasoning is soundness-guaranteed and tractable as always. Additionally, an approximate justification is also maintained for each inference result. Retrieval of such jsutifications can be performed directly without further computation.