incremental update algorithm updates, SESAME triple store, ELK reasoner