4. The apparatus of claim 2 , wherein the one or more knowledge reasoners are iteratively applied until no further logical deductions are able to be made by further application of the one or more knowledge reasoners.
4. The apparatus of claim 2 , wherein the one or more knowledge reasoners are iteratively applied until no further logical deductions are able to be made by further application of the one or more knowledge reasoners. 5. The apparatus of claim 4 , wherein no further logical deductions being able to be made is detected by the detection of an empty transaction being generated in response to the one or more knowledge reasoners being applied.