An article of manufacture for processing rule sets and, more particularly, for processing abstract rule sets. One embodiment provides a computer-readable storage medium containing a program which, when executed by a processor, performs operations for managing execution of an analysis routine. The operations...http://www.google.ca/patents/US8145628?utm_source=gb-gplus-sharePatent US8145628 - Strict validation of inference rule based on abstraction environment
