1. A machine-implemented runtime forward-chaining reasoning method for inserting and/or deleting data tuples and/or rules in a tuple space of sets of information in a semantic web, said method comprising: configuring at least one computer and associated memory with executable program instructions to process tuples in said memory, wherein said processing includes keeping a record with inference counters of incoming tuple predicates for each data tuple to provide a tuple delete operation that does not require re-calculation of tuples earlier inferred.