An incremental approach to structured argumentation over dynamic knowledge bases