Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach