Konsistenzüberprüfungen bei sich verändernden Wissensbasen