Incremental Reasoning for Dynamic ABox Materialization Based on Subgraph