Supporting knowledge-base evolution with incremental formalization