1. A Runtime forward-chaining reasoning method of data tuples and/or rules to be inserted and/or deleted, comprising: keeping record of inference counters for each data tuple in order to provide delete operation that doesn't require re-calculation of tuples inferred earlier.