Distributed Reasoning over Ontology Streams and Large Knowledge Base