Reasoning is performed in response to updates by minimising the number of recomputations needed. Only the data relevant to each relevant rule is considered. This happens whenever data is changed, removed from, or added to the system.