Incremental Consistency

Morning, I'm looking for works about checking consistency in a 
incremental way, that is "Given a consistent ABox A (w.r.t. a cyclic 
terminology) and an assertio a then the ABox A' obtained putting a into 
A is consistent iff ?"

thank you in advance,
Cristiano Longo